   0  residual_call_irf_v $<* fn BufferingInputStream.seek>, I[%i0], R[$<* struct rpython.rlib.streamio.Stream>], F[%f0], <CallDescr(rLi) EF=7>
  10  -live-
  13  void_return
