with ada.text_io; use ada.text_io; procedure eof is s: String(1..4); -- s: String(1 .. 80); -- len: Natural; begin loop put("Enter a string: "); exit when end_of_file; -- Get(s) will input exactly 4 characters -- Get(s) will skip newlines get(s); put_line(s); --get_line(s, len); -- put_line(s(1..len)); end loop; put_line("bye"); end eof;