(translate "
/*
  Hello world
 */
print(\"Hello, World!\\\\n\");
")