MODULE SBadCmp;
VAR a, b : ARRAY [1 .. 3] OF INTEGER;
BEGIN
  IF a = b THEN END
END SBadCmp.