Symbol: tipc_ehdr