1%verify "executed"
2    /* int to long vA, vB */
3    movzbl  rINST_HI,%ecx               # ecx<- +A
4    sarl    $$12,rINST_FULL             # rINST_FULL<- B
5    GET_VREG(%eax,rINST_FULL)           # eax<- vB
6    SPILL(rPC)                          # will step on edx later
7    andb    $$0xf,%cl                   # ecx<- A
8    cltd                                # edx:eax<- sssssssBBBBBBBB
9    SET_VREG_WORD(%edx,%ecx,1)          # v[A+1]<- edx/rPC
10    UNSPILL(rPC)
11    SET_VREG_WORD(%eax,%ecx,0)          # v[A+0]<- %eax
12    FETCH_INST_WORD(1)
13    ADVANCE_PC(1)
14    GOTO_NEXT
15