1520a1521
> #ifdef INVARIANTS
1521a1523
> #endif