def main : IO Unit := do
  IO.println "Hello, world!"
