module [[name]]; import stdio local; public func int32 main(int32 argc, char*[] argv) { printf("Hello, world!"); return 0; }