MODULE Test;

   TYPE
      A = RECORD
         x: INTEGER
      END;

   PROCEDURE (VAR a: A) SetX (x: INTEGER), NEW;
   BEGIN
      a.x := x
   END SetX;

   PROCEDURE SetX (IN a: A);
   BEGIN
      a.SetX(1000)
   END SetX;

   PROCEDURE DoSetX*;
      VAR a: A;
   BEGIN
      SetX(a);
      HALT(0)
   END DoSetX;

END Test.

MODULE Test;

   TYPE
      A = RECORD
         x: INTEGER
      END;

   PROCEDURE (VAR a: A) Set2 (x: INTEGER), NEW;
   BEGIN
      a.x := x
   END Set2;

   PROCEDURE (IN a: A) Set1 (x: INTEGER), NEW;
   BEGIN
      a.Set2(x)   (* нет ошибки *)
   END Set1;

   PROCEDURE Set2 (VAR a: A; x: INTEGER);
   BEGIN
      a.x := x
   END Set2;

   PROCEDURE Set1 (IN a: A; x: INTEGER);
   BEGIN
      Set2(a(* X = this variable (field) is read only *), x)
   END Set1;

END Test.