1%verify "executed"
2    /* move-result-wide vAA */
3    GET_OPA(a2)                            #  a2 <- AA
4    addu      a3, rSELF, offThread_retval  #  a3 <- &self->retval
5    EAS2(a2, rFP, a2)                      #  a2 <- &fp[AA]
6    LOAD64(a0, a1, a3)                     #  a0/a1 <- retval.j
7    FETCH_ADVANCE_INST(1)                  #  advance rPC, load rINST
8    GET_INST_OPCODE(t0)                    #  extract opcode from rINST
9    STORE64(a0, a1, a2)                    #  fp[AA] <- a0/a1
10    GOTO_OPCODE(t0)                        #  jump to next instruction
11
12