fun main: void = do
    @write_file("console.log('Hello, World!')", "hello.js");
end;