В режиме Oberon-07, компилятор не принимает такой код:
## Код:
```
Base* = RECORD
   do: PROCEDURE(VAR b: Base)
END;
```

Выдавая сообщение об ошибке про неизвестный тип Base, в то время как в обычном режиме у транслятора нет проблем. Это ошибка или такое поведение следует из описания языка?