%verify "executed" %include "x86/binopLit8.S" {"instr":"addl %ecx,%eax"}