1%verify "executed"
2    /* rem_float vAA, vBB, vCC */
3    movzbl   3(rPC),%ecx            # ecx<- BB
4    movzbl   2(rPC),%eax            # eax<- CC
5    fldl     (rFP,%ecx,4)           # vCC to fp stack
6    fldl     (rFP,%eax,4)           # vCC to fp stack
7    FETCH_INST_OPCODE 2 %ecx
81:
9    fprem
10    fstsw     %ax
11    sahf
12    jp        1b
13    fstp      %st(1)
14    ADVANCE_PC 2
15    fstpl    (rFP,rINST,4)           # %st to vAA
16    GOTO_NEXT_R %ecx
17