bobbylisp/example/hello_world_pipe.hz

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