495a496
> #ifdef INVARIANTS
496a498
> #endif