Да, простой язык, но периодически все равно что-то новое для себя открываешь...
Я, к примеру, не знал до настоящего момента, что в альтернативах WITH могут стоять разные имена переменных. Т.е. ищется не просто первое совпадение по типу для переменной, а первое соответствие среди заданных пар (переменная, тип).
## Код:
```
WITH dest: StdView DO
   
   | src: View DO
   
   END;
```
