control_digest_update
control_digest_update(key, val.u.counter, 1);
control_digest_update(key, val.u.counter, 0);
static void control_digest_update(const char *, size_t, int);