M2compiler-V1/tests/c_copy.mod

MODULE CCopy;
VAR a, b : ARRAY [1 .. 3] OF INTEGER; ExitCode : INTEGER;
BEGIN
  a[1] := 5; a[2] := 6; a[3] := 7;
  b := a;
  ExitCode := b[1] + b[2] + b[3]
END CCopy.