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