with text_io;use text_io;procedure j is begin put(get_line);j;end;