1 struct S7369 {
2     int a;
invariantS73693     invariant() { a += 5; }
4 }
5 
6