module HelloWorld { control { log("Hello World"); } }