594a595
> #ifdef INVARIANTS
595a597
> #endif