Symbol: tpc_check_ranges_x