print_string checkpoint