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