Something
public text v1 · immutableWith Ada.Text_IO, Ada.Integer_Text_IO;
Use Ada.Text_IO, Ada.Integer_Text_IO;
procedure get_line_three is
Input : STRING(1..10);
len : NATURAL;
begin
New_Line; Put("enter new name> ");
Get_Line(Input, len);
Put("Input is ");
Put(Input(1..len));
--or simply Put("Input is " & Input(1..len));
end get_line_three;