MODULE hello ;

FROM libc IMPORT printf ;

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