MODULE TStrEq;
(* String content equality/inequality (`=`/`#`) for CHAR arrays and
   string literals.  Exit 15. *)
VAR ExitCode : INTEGER;
VAR a : ARRAY [0 .. 3] OF CHAR;
BEGIN
  a[0] := "a"; a[1] := "b"; a[2] := "c"; a[3] := CHR(0);
  IF a = "abc" THEN ExitCode := ExitCode + 1 ELSE ExitCode := 100 END;
  IF a # "abd" THEN ExitCode := ExitCode + 2 ELSE ExitCode := 100 END;
  IF "hello" = "hello" THEN ExitCode := ExitCode + 4 ELSE ExitCode := 100 END;
  IF "hello" # "world" THEN ExitCode := ExitCode + 8 ELSE ExitCode := 100 END
END TStrEq.