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