1val () = Feedback.WARNING_outstream :=
2           (fn s => (TextIO.output(TextIO.stdErr, s);
3                     TextIO.flushOut TextIO.stdErr))
4