%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
    cltd                                # edx:eax<- sssssssBBBBBBBB
    SET_VREG_WORD %edx rINST 1          # v[A+1]<- edx/rPC
    FETCH_INST_OPCODE 1 %edx
    SET_VREG_WORD %eax rINST 0          # v[A+0]<- %eax
    ADVANCE_PC 1
    GOTO_NEXT_R %edx
