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