Интересный пример:
## Код:
```
while (p<>nil) and (p.data<>x) do
  p := p.next;
var found := p<>nil;
```

То есть переменные можно объявлять в теле процедур. Ух оберонщики возмутятся таким святотатством!!!