MODULE Test17A;

IMPORT C := Test17Common;

BEGIN
  C.rec.fldRW := 666;
  С.p.fldRW := 666;
  С.arr[0] := 666;
  С.pa[0] := 666;
END Test17A.

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