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