1%verify "executed"
2    /* const-wide vAA, #+HHHHhhhhBBBBbbbb */
3    FETCH(r0, 1)                        @ r0<- bbbb (low)
4    FETCH(r1, 2)                        @ r1<- BBBB (low middle)
5    FETCH(r2, 3)                        @ r2<- hhhh (high middle)
6    orr     r0, r0, r1, lsl #16         @ r0<- BBBBbbbb (low word)
7    FETCH(r3, 4)                        @ r3<- HHHH (high)
8    mov     r9, rINST, lsr #8           @ r9<- AA
9    orr     r1, r2, r3, lsl #16         @ r1<- HHHHhhhh (high word)
10    FETCH_ADVANCE_INST(5)               @ advance rPC, load rINST
11    add     r9, rFP, r9, lsl #2         @ r9<- &fp[AA]
12    GET_INST_OPCODE(ip)                 @ extract opcode from rINST
13    stmia   r9, {r0-r1}                 @ vAA<- r0/r1
14    GOTO_OPCODE(ip)                     @ jump to next instruction
15