1%verify "executed"
2    /* const vAA, #+BBBBbbbb */
3    mov     r3, rINST, lsr #8           @ r3<- AA
4    FETCH(r0, 1)                        @ r0<- bbbb (low)
5    FETCH(r1, 2)                        @ r1<- BBBB (high)
6    FETCH_ADVANCE_INST(3)               @ advance rPC, load rINST
7    orr     r0, r0, r1, lsl #16         @ r0<- BBBBbbbb
8    GET_INST_OPCODE(ip)                 @ extract opcode from rINST
9    SET_VREG(r0, r3)                    @ vAA<- r0
10    GOTO_OPCODE(ip)                     @ jump to next instruction
11