MODULE Test;

TYPE
  Rider = RECORD i : INTEGER END;

PROCEDURE X;
  VAR
    r : Rider;
BEGIN
  r.i := 666;
END X;

BEGIN
  X;
END Test.