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