disable INVARIANTS now, it is broken