1%verify "executed"
2    /* const vAA, #+BBBBbbbb */
3    movl      2(rPC),%eax             # grab all 32 bits at once
4    movl      rINST,rINST             # rINST<- AA
5    FETCH_INST_OPCODE 3 %ecx
6    ADVANCE_PC 3
7    SET_VREG %eax rINST               # vAA<- eax
8    GOTO_NEXT_R %ecx
9