Section Header
    + name :=OUTPUT_STREAM;
    - comment :="Standard Output Stream.";
Section Inherit
    - parent_object:OBJECT :=
Section Public
    - is_connected:BOOLEAN <-
    - put_character c:CHARACTER <-
    - put_string s:ABSTRACT_STRING <-
        Output `s' to current output device.
    - put_integer i:INTEGER <-
        Output `i' to current output device.
    - put_integer_format (i, s:INTEGER) <-
        Output `i' to current output device using at most
        `s' character.
Other features:
    - put_boolean b:BOOLEAN <-
        Output `b' to current output device according
        to the Eiffel format.
    - put_pointer p:POINTER <-
        Output a viewable version of `p'.
    - put_new_line <-
        Output a newline character.
    - put_spaces nb:INTEGER <-
        Output `nb' spaces character.
    - file_exists path:ABSTRACT_STRING :BOOLEAN<-
    - append_file file_name:STRING <-
    - flush <-
        forces a write of unwritten character (write my have been
        delayed, flush writes buffered characters)