ct_status_get_cookie
(void) printf("%#llx\n", ct_status_get_cookie(hdl));
*cp = ct_status_get_cookie(sh);
if (ct_status_get_cookie(cs) == CONFIGD_COOKIE)
cookie = ct_status_get_cookie(status);
cookie = ct_status_get_cookie(status);
ct_status_get_cookie(stathdl);
extern uint64_t ct_status_get_cookie(ct_stathdl_t);