MODULE hello ; FROM StrIO IMPORT WriteString, WriteLn ; BEGIN WriteString ("hello world from the core pim libraries") ; WriteLn END hello.