Declaring WARL on the ISA string - Radim Krčmář (Ventana Micro Systems)