uint128_is_zero
if (uint128_is_zero(fortuna_state.fs_counter))
KASSERT(!uint128_is_zero(fortuna_state.fs_counter), ("FS&K: C != 0"));
KASSERT(!uint128_is_zero(fortuna_state.fs_counter), ("FS&K: C != 0"));
return (!uint128_is_zero(fortuna_state.fs_counter));