PROC main()
  WriteF('Hello world!\n')
ENDPROC