with ada.text_io; use ada.text_io;
with ada.integer_text_io; use ada.integer_text_io;
procedure getline is
    v: String(1 .. 80);
    len: Integer;
begin
    loop
        get_Line(v, len);

        exit when len = 0;

        put(len);             -- Number of characters read 
        new_line;

        put(v(1 .. len));     -- Output a slice
        new_line;

        put(v);               -- Don't do this

    end loop;
end getline;