   0  -live- %i0, %i1, %i2, %r0, %r1
   0  int_guard_value %i2
   2  -live- %i0, %i1, %i2, %r0, %r1
   2  ref_guard_value %r1
   4  recursive_call_i $94, I[%i2], R[%r1], F[], I[%i0, %i1], R[%r0], F[] -> %i0
  18  -live- %i0
  18  int_return %i0
