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