fun main: void = do
    @write("Hello, World!")
end