# identifier-case Human review: pending. Expected output was independently traced by AI, not captured from cpsc. Basis: CIE p. 7: identifiers should be considered case insensitive. Symbol lookup must resolve both spellings to the same declaration. Trace: Counter and counter denote the same declared variable; the read yields 7.