1%verify "executed"
2    /*
3     * Return the length of an array.
4     */
5    mov     r1, rINST, lsr #12          @ r1<- B
6    mov     r2, rINST, lsr #8           @ r2<- A+
7    GET_VREG(r0, r1)                    @ r0<- vB (object ref)
8    and     r2, r2, #15                 @ r2<- A
9    cmp     r0, #0                      @ is object null?
10    beq     common_errNullObject        @ yup, fail
11    FETCH_ADVANCE_INST(1)               @ advance rPC, load rINST
12    ldr     r3, [r0, #offArrayObject_length]    @ r3<- array length
13    GET_INST_OPCODE(ip)                 @ extract opcode from rINST
14    SET_VREG(r3, r2)                    @ vB<- length
15    GOTO_OPCODE(ip)                     @ jump to next instruction
16