MODULE Test17C;

IMPORT C := Test17Common;

BEGIN
  C.pRO.fldRW := 666;
END Test17C.

Тест экспорта на чтение. Компиляция должна быть успешна.
Переменные-указатели экспортированные только для чтения должны допускать
запись в структуру по указателю, но запрещать изменение самого указателя.