S: String := Ada.Text_IO.Get_Line;