__crc_nd_tbl = 0x508008a2;
__crc___ndisc_fill_addr_option = 0x4f029690;
__crc_ndisc_mc_map = 0x3240d9c3;