%verify "executed" %include "mips/unop.S" {"instr":"not a0, a0"}