Symbol: tipc_nodeid2string