fun main: int = do
    write("Hello, World!\n");
    return 0;
end;