module HelloWorld { control { log("Hello, world!"); } }