> -- Илья Ермаков писал(а):
> Есть инструкция return, которая убирает из стека входные параметры и  туда структуру. Есть инструкция присваивания в вызывающем коде, которая  возвращенное значение из стека в переменную.

Включи фантазию. Можно, например, делать все так же как в обероне - передавать указатель на непроиниченную структуру. Только делать это будет компилятор. Принципиальную разницу объяснять не надо?

> -- Илья Ермаков писал(а):
> Был пример, когда заменой стандартных процедур на процедуры, написанные в стиле Оберона, удалось увеличить производительность программы в 5 раз...

Пример я и сам могу придумать. А для практики давно есть профайлеры.