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