ipxaddr_string
ipxaddr_string(EXTRACT_32BITS(&ipx[25]), (u_char *)&ipx[27]));
static const char *ipxaddr_string(u_int32_t, const u_char *);
ipxaddr_string(EXTRACT_32BITS(ipx->srcNet), ipx->srcNode),
ipxaddr_string(EXTRACT_32BITS(ipx->dstNet), ipx->dstNode),