val _ = (TextIO.output (TextIO.stdOut, "hello\n") ; OS.Process.exit OS.Process.success)