MODULE hello EXPORTS Main;
IMPORT SmallIO;
BEGIN
  SmallIO.PutText( "Hello, world\n" )
END hello.