Rename print_int to print_uint.