   0  -live- %i0, %r0
   3  switch %i0, <SwitchDictDescr 0:L1, 1:L2, 2:L3>
   7  unreachable
   8  ---
   8  L1:
   8  -live- %r0
  11  inline_call_r_v <JitCode 'W_BufferedReader._flush_and_rewind_unlocked'>, R[%r0]
  16  -live-
  19  void_return
  20  ---
  20  L2:
  20  -live- %r0
  23  inline_call_r_v <JitCode 'W_BufferedReader._flush_and_rewind_unlocked'>, R[%r0]
  28  -live-
  31  void_return
  32  ---
  32  L3:
  32  -live- %r0
  35  inline_call_r_v <JitCode 'W_BufferedReader._flush_and_rewind_unlocked'>, R[%r0]
  40  -live-
  43  void_return
