ll_check
int ll_check(llh_t *head);
assert(ptr->num_data == ll_check(&ptr->data));
assert(ptr->num_waiters == ll_check(&ptr->waiters));