MODULE hello ;

FROM libprintf IMPORT printf ;

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