PROC main() IS WriteF('Hello World\n')