Q_PRECEQ
KASSERT(Q_PRECEQ(ctd32->mu, x),
KASSERT(Q_PRECEQ(ctd64->mu, x),
KASSERT(Q_PRECEQ(c1->mu, c2->mu),