247a248
> #ifdef INVARIANTS
248a250
> #endif
274a277
> #ifdef INVARIANTS
275a279
> #endif