with Text_io; procedure COPY is C:character; begin while not Text_IO.End_of_file loop if Text_IO.End_of_line then Text_IO.Skip_line; Text_IO.New_line; else Text_IO.Get(C); Text_IO.Put(C); end if; end loop; end COPY;