%verify "executed"
%include "mips/unopWider.S" {"instr":"sra a1, a0, 31"}