def main : IO Unit := do
  IO.println s!"Hello, {1+1}!"
