MODULE UTextProg; (* TextIO Unicode output: U"héllo" is written as UTF-8. *) IMPORT TextIO; VAR ExitCode : INTEGER; BEGIN TextIO.UWriteString(U"héllo"); TextIO.UWriteLn; TextIO.UWriteChar(U'😀'); TextIO.UWriteLn; ExitCode := 42 END UTextProg.