Symbol: tipc_mon_domain