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;