Symbol: fc_statec_cookie_t