1%verify "executed" 2 /* for: move/from16, move-object/from16 */ 3 /* op vAA, vBBBB */ 4 FETCH(r1, 1) @ r1<- BBBB 5 mov r0, rINST, lsr #8 @ r0<- AA 6 FETCH_ADVANCE_INST(2) @ advance rPC, load rINST 7 GET_VREG(r2, r1) @ r2<- fp[BBBB] 8 GET_INST_OPCODE(ip) @ extract opcode from rINST 9 SET_VREG(r2, r0) @ fp[AA]<- r2 10 GOTO_OPCODE(ip) @ jump to next instruction 11