Symbol: TIPC_PUBLISHED