M2compiler-V1/tests/v_bad_byte.mod

MODULE VBadByte;
VAR c : ARRAY [1 .. 5] OF CHAR; ExitCode : INTEGER;
PROCEDURE Bump(VAR x : CHAR);
BEGIN
  x := "z"
END Bump;
BEGIN
  c[1] := "a";
  Bump(c[1]);
  ExitCode := 0
END VBadByte.