MODULE Test17F;

IMPORT C := Test17Common;

BEGIN
  C.recRW.fldRO := 666;
  C.pRW.fldRO := 666;
END Test17F.

Тест экспорта. Копиляция должна проваливаться т.к. поля только для чтения.