   0  inline_call_r_i <JitCode 'ObjectType.unbox'>, R[%r0, %r1] -> %i0
   7  -live- %i0, %r0, %r2
  10  inline_call_r_i <JitCode 'ObjectType.unbox'>, R[%r0, %r2] -> %i1
  17  -live- %i0, %i1
  20  int_ge %i0, %i1 -> %i0
  24  int_return %i0
