MODULE hello ;

FROM libc IMPORT printf ;

BEGIN
   printf ("hello world\n")
END hello.