1258a1259
> #ifdef INVARIANTS
1259a1261
> #endif