   0  inline_call_r_i <JitCode 'Bool.unbox'>, R[%r0, %r1] -> %i0
   7  -live- %i0, %r0, %r2
   7  inline_call_r_i <JitCode 'Bool.unbox'>, R[%r0, %r2] -> %i1
  14  -live- %i0, %i1
  14  int_lt %i0, %i1 -> %i0
  18  int_return %i0
