   0  residual_call_r_r $<* fn choose>, R[%r0, %r1, %r2, %r3], <CallDescr(rrrr) EF=7> -> %r0
  10  -live- %r0
  13  ref_return %r0
