> -- Comdiv писал(а):
> Сообщение о языке не задаёт ни способ трансляции, ни форму процедурного типа.

Ну, правда, мы в ветке Оберон-07.
В стандарте КП указано, что реализация обязана поддерживать динамическую модульность.

Ну а в конкретной реализации КП - в ББ - все константы подставляются на этапе копиляции. Т.е. в рантайме они нигде не хранятся, их нет как сущности. Компилятор взял значение константы из символьного файла одного модуля и подставил в генерируемый машинный код другого непосредственно.
(Ну или для строковых переменных наверняка создал в этом другом модуле однократно хранимую константу).