function main() {
    // @todo(2111-07-10): Print something besides "Hello World!"
    console.log("Hello World!");
}