89a90
> #ifdef INVARIANTS
91a93
> #endif