>> - assert (tcache->counts[tc_idx] > 0); > > OK. Note I still want further justification for this one.