MODULE TStrEmpty;
(* Empty string assignment: the destination becomes empty (NUL at 0),
   even when it previously held text. Exit 42. *)
VAR ExitCode : INTEGER;
VAR s : ARRAY [0 .. 2] OF CHAR;
BEGIN
  s[0] := "x"; s[1] := "y"; s[2] := CHR(0);
  s := "";
  IF (s[0] = CHR(0)) AND (s = "") THEN ExitCode := 42 ELSE ExitCode := 1 END
END TStrEmpty.