   0  -live- %i0, %i1, %i2, %r0, %r1
   3  int_guard_value %i2
   5  -live- %i0, %i1, %i2, %r0, %r1
   8  ref_guard_value %r1
  10  recursive_call_i $114, I[%i2], R[%r1], F[], I[%i0, %i1], R[%r0], F[] -> %i0
  24  -live- %i0
  27  int_return %i0
