print_string