%verify "executed"
    /* int to long vA, vB */
    movzbl  rINSTbl,%eax                # eax<- +A
    sarl    $$4,%eax                    # eax<- B
    GET_VREG_R %eax %eax                # eax<- vB
    andb    $$0xf,rINSTbl               # rINST<- A
    SPILL(rIBASE)                       # cltd trashes rIBASE/edx
    cltd                                # rINST:eax<- sssssssBBBBBBBB
    SET_VREG_WORD rIBASE rINST 1        # v[A+1]<- rIBASE/rPC
    FETCH_INST_OPCODE 1 %ecx
    UNSPILL(rIBASE)
    SET_VREG_WORD %eax rINST 0          # v[A+0]<- %eax
    ADVANCE_PC 1
    GOTO_NEXT_R %ecx