%verify "executed"
%verify "exception for null object (impossible in javac)"
%verify "dvmUnlockObject fails"
    /*
     * Unlock an object.
     *
     * Exceptions that occur when unlocking a monitor need to appear as
     * if they happened at the following instruction.  See the Dalvik
     * instruction spec.
     */
    /* monitor-exit vAA */
    GET_OPA(a2)                            #  a2 <- AA
    EXPORT_PC()                            #  before fetch: export the PC
    GET_VREG(a1, a2)                       #  a1 <- vAA (object)
    # null object?
    beqz      a1, 1f
    move      a0, rSELF                    #  a0 <- self
    JAL(dvmUnlockObject)                   #  v0 <- success for unlock(self, obj)
    # failed?
    FETCH_ADVANCE_INST(1)                  #  before throw: advance rPC, load rINST
    beqz      v0, common_exceptionThrown   #  yes, exception is pending
    GET_INST_OPCODE(t0)                    #  extract opcode from rINST
    GOTO_OPCODE(t0)                        #  jump to next instruction
1:
    FETCH_ADVANCE_INST(1)                  #  before throw: advance rPC, load rINST
    b         common_errNullObject