Symbol: tipc_in_scope