r9 : UInt64
r9 = case 1 of
  9 -> 9
  8 -> 8
  7 -> 7
  6 -> 6
  5 -> 5
  _ -> 1
()