M2compiler-V1/tests/c_fcopy.mod

MODULE CFcopy;
TYPE Inner = RECORD u, v : INTEGER END;
TYPE Outer = RECORD a : INTEGER; b : Inner END;
VAR r1, r2 : Outer; ExitCode : INTEGER;
BEGIN
  r1.a := 1; r1.b.u := 2; r1.b.v := 3;
  r2.b := r1.b;
  ExitCode := r2.b.u + r2.b.v
END CFcopy.