module HelloWorld {
    void run() {
        @Inject Console console;
        console.print("Hello, World!");
    }
}