И еще язык позволяет вот такое определение:

PROCEDURE P (r: RECORD ... END);

При этом процедуру P невозможно вызвать, поскольку НИЧЕГО не совместимо с типом параметра r.

Тоже, кмк, было бы хорошо запретить. Что скажете?