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