M2compiler-V1/tests/r_copy2.mod

MODULE RCopy2;
TYPE Inner = RECORD u, v : INTEGER END;
TYPE Outer = RECORD a : INTEGER; b : Inner END;
VAR r1, r2 : Outer; ExitCode : INTEGER;
BEGIN
  r1.a := 4; r1.b.u := 5; r1.b.v := 6;
  r2 := r1;
  ExitCode := r2.a + r2.b.u + r2.b.v
END RCopy2.