И, кстати, подобный код бессмысленен:## Код:
```
PROCEDURE (l: List) FINALIZE-;
   BEGIN
      l.last := NIL;
      l.first := NIL
   END FINALIZE;
```
Финализатор вызывается когда объект уже стал недоступным, чистить его поля уже не имеет смысла так как сборщик мусора никогда больше к ним не обратится.