MODULE Test17B; IMPORT C := Test17Common; BEGIN C.recRO.fldRW := 666; END Test17B. Тест экспорта на чтение. Компиляция должна проваливаться. Переменные-статические-записи экспортированные только для чтения, но с полями допускающие запись - все равно должны быть только для чтения.