MODULE CheckLibrarianCpTest; IMPORT StdLog; PROCEDURE Do*; BEGIN StdLog.String("Hello World"); StdLog.Ln END Do; END CheckLibrarianCpTest.