kn_in_flux
KASSERT(kn_in_flux(kn) == false);
if (kn_in_flux(kn)) {
KASSERT(kn_in_flux(kn) == false);
bool kn_is_in_flux = kn_in_flux(kn);
KASSERT(kn_in_flux(kn) == false);
KASSERT(kn_in_flux(kn) == false);
if (kn_in_flux(kn)) {
kn_in_flux(kn) == false);
if (kn_in_flux(kn)) {
KASSERT(kn_in_flux(kn) == false);