Несколько раз приходилось делать обёрточные сканеры и форматтеры:
## Код:
```
MyFormatter = RECORD
  fmt: TextMappers.Formatter;
  ... (* доп. параметры *)
END;
```
В процедурах-писалках вида PROCEDURE WriteXxx (VAR f: MyFormatter) постоянно приходится обращаться к полю f.fmt. --- возникает естественное желание завести ссылку. В КП это можно сделать при помощь ссылочного параметра, который по сути от локальной переменной ничем не отличается:
PROCEDURE WriteXxx (VAR f: MyFormatter; VAR fmt: TextMappers.Formatter);

Только указывать при каждом вызове: WriteXxx(f, f.fmt). По-моему, похоже на использование "методов" в классическом Обероне...