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