   0  -live- %i0, %r0
   3  switch %i0, <SwitchDictDescr 0:L1, 1:L2, 2:L3>
   7  unreachable
   8  ---
   8  L1:
   8  -live- %r0
  11  residual_call_r_v $<* fn W_BufferedReader._writer_flush_unlocked>, R[%r0], <CallDescr(r) EF=7>
  17  -live-
  20  void_return
  21  ---
  21  L2:
  21  -live- %r0
  24  residual_call_r_v $<* fn W_BufferedReader._writer_flush_unlocked>, R[%r0], <CallDescr(r) EF=7>
  30  -live-
  33  void_return
  34  ---
  34  L3:
  34  -live- %r0
  37  residual_call_r_v $<* fn W_BufferedReader._writer_flush_unlocked>, R[%r0], <CallDescr(r) EF=7>
  43  -live-
  46  void_return
