2971a2972
> #ifdef INVARIANTS
2972a2974
> #endif