module: hello-world

format-out("%s\n", "Hello world!");