print_string (read_line ());
print_newline ()