2.5.4. УСТРАНЕНИЕ СИМВОЛИЧЕСКИХ ИМЕН ВЫРАЖЕНИЙ

Если слово Os является символическим именем объектного выражения Oe, то все использования этого имени в программе можно устранить, заменив каждую конструкцию &Os на Oe.

В дальнейшем, при описании контекстных ограничений и семантики языка, мы будем предполагать, что это преобразование уже выполнено, и программа не содержит использований символический имен. При этом, с другой стороны, в тексте преобразованной программы могут появиться динамические символы.