MODULE toto; FROM TestIO IMPORT WriteString, WriteLn; BEGIN WriteString("Hello world, I'm coming to life!"); WriteLn; END toto.