Symbol: tipc_in_range