1%verify "executed"
2    /* const/16 vAA, #+BBBB */
3    FETCH_S(r0, 1)                      @ r0<- ssssBBBB (sign-extended)
4    mov     r3, rINST, lsr #8           @ r3<- AA
5    FETCH_ADVANCE_INST(2)               @ advance rPC, load rINST
6    SET_VREG(r0, r3)                    @ vAA<- r0
7    GET_INST_OPCODE(ip)                 @ extract opcode from rINST
8    GOTO_OPCODE(ip)                     @ jump to next instruction
9