Added print_string()