#invariant-test