> -- prospero78 писал(а):
> А как по мне, так порядок константы-типы-переменные-процедуры надо оставить.Т.е. чтобы нельзя было объявлять константы, вычисляемые из размера типов?

## Код:
```
TYPE
  Rec = RECORD a, b: REAL END;
CONST
  RecSize2 = 2*SIZE(Rec);
```

Это в Дельфи можно объявлять типы-диапазоны на основе констант, в Обероне же более логичен такой порядок: типы-константы-переменные-процедуры.