int varchanged = 4; // header changed!