TextIO.output (TextIO.stdErr, "Goodbye, World!\n")