1%verify "executed"
2    /* const-wide/32 vAA, #+BBBBbbbb */
3    movl     2(rPC),%eax               # eax<- BBBBbbbb
4    SPILL(rPC)
5    movzbl    rINST_HI,%ecx             # ecx<- AA
6    FETCH_INST_WORD(3)
7    cltd                                # rPC:eax<- ssssssssssssBBBB
8    SET_VREG_WORD(rPC,%ecx,1)           # store msw
9    UNSPILL(rPC)
10    SET_VREG_WORD(%eax,%ecx,0)          # store lsw
11    ADVANCE_PC(3)
12    GOTO_NEXT
13