MODULE hello ; FROM STextIO IMPORT WriteString, WriteLn ; BEGIN WriteString ("hello world using the ISO libraries") ; WriteLn END hello.