Make sure to remove this debugging call to print_tmp().