1int invariant;
2