> -- Wlad писал(а):
> В этом примере SIZE учитывает выравнивание элементов массива?Если элементы массива содержат "служебные поля по отрицательному смещению", то они входят в размер элемента?

Интересный вопрос.
Если говорить конкретно о реализационной семантике (такое вот неожиданное словосочетание) Оберона, начиная с базового и до КП, то вся служебная информация существует либо у динамического объекта (как раз по отрицательному смещению), либо известна статически компилятору, либо передаётся скрытыми параметрами процедур (в случае VAR-ссылок). Например, у записи, лежащей просто на стеке, не хранится тег типа. Когда запись куда-то передаётся по ссылке, то компилятор подставляет передачу неявным параметром тега типа (который на верхнем уровне вызова, естественно, статически известен).