Symbol: cyc_cookie_t