Section Header
    + name :=STD_INPUT_OUTPUT;
    - comment :="To have the useful `io'";
Section Inherit
    - parent_input_stream:INPUT_STREAM :=
    - parent_output_stream:OUTPUT_STREAM :=
Section Public
    - is_connected:BOOLEAN :=
    - make <-
    - read_character <-
    - unread_character <-
    - push_back_flag:BOOLEAN <-
    - last_character:CHARACTER <-
    - put_character c:CHARACTER <-
    - end_of_input:BOOLEAN <-
    - read_line_in str:STRING <-