   0  int_copy $0 -> %i2
   3  -live- %i0, %i1, %i2, %r0, %r1, %r2
   6  int_guard_value %i0
   8  -live- %i0, %i1, %i2, %r0, %r1, %r2
  11  ref_guard_value %r1
  13  recursive_call_i $111, I[%i0], R[%r1], F[], I[%i1, %i2], R[%r2, %r0], F[] -> %i0
  28  -live- %i0
  31  int_return %i0
