r7 : UInt64
r7 = case () of
  x@() -> 1
()