MODULE TStrTrunc;
(* String assignment copies content into a CHAR array, truncated to the
   destination capacity and NUL-terminated (no count trap). Exit 42. *)
VAR ExitCode : INTEGER;
VAR s : ARRAY [0 .. 2] OF CHAR;
BEGIN
  s := "abcd";                    (* capacity 3 -> "abc" *)
  IF s = "abc" THEN ExitCode := 42 ELSE ExitCode := 1 END
END TStrTrunc.