MODULE Hello; IMPORT Out; PROCEDURE Do*; BEGIN Out.String("Hello world!"); Out.Ln END Do; END Hello.