__crc___cookie_v4_init_sequence = 0xe7eee3d5;
__crc___cookie_v4_check = 0xdaf5c16e;
__crc_tcp_get_cookie_sock = 0x3f05b634;
__crc_cookie_timestamp_decode = 0x7c952aa7;
__crc_cookie_ecn_ok = 0xb1a13f0d;
__crc_cookie_tcp_reqsk_alloc = 0x892e1cd2;