Symbol: ipsec_cookie_t