MODULE Test25;

TYPE
  X = POINTER TO XDesc;
  XDesc = RECORD END;

  Y = POINTER TO RECORD (XDesc) x : INTEGER END;

VAR
  x : X;
  y : Y;
  i : INTEGER;

BEGIN
  NEW(y);
  x := y;
  i := y.x;
  i := x(Y).x;
END Test25.

Тест приведения типа с обращением к полю.