1%verify "executed"
2    /* const-wide vAA, #+HHHHhhhhBBBBbbbb */
3    movl      2(rPC),%eax         # eax<- lsw
4    movzbl    rINSTbl,%ecx        # ecx<- AA
5    movl      6(rPC),rINST        # rINST<- msw
6    leal      (rFP,%ecx,4),%ecx   # dst addr
7    movl      rINST,4(%ecx)
8    movl      %eax,(%ecx)
9    FETCH_INST_OPCODE 5 %ecx
10    ADVANCE_PC 5
11    GOTO_NEXT_R %ecx
12