Формальный параметр-значение  обрабатывается,  как локальная
        по отношению к процедуре или функции переменная,  за  исключением
        того, что он получает свое начальное значение из соответствующего
        фактического параметра при активизации процедуры или функции. Из-
        менения,  которые  претерпевает формальный параметр-значение,  не
        влияют на значение фактического параметра.

             Соответствующее фактическое    значение   параметра-значения
        должно быть выражением и его значение не  должно  иметь  файловый
        тип  или  какой-либо структурный тип,  содержащий в себе файловый
        тип.

             Фактический параметр должен иметь тип,  совместимый по прис-
        ваиванию  с  типом формального параметра-значения.  Если параметр
        имеет строковый тип,  то формальный параметр будет иметь  атрибут
        размера, равный 255.