fun main: int = do "Hello, World!\n" |> @write(); end;