Использование ASSERT для проверки корректности
Упаковка значений вместо битовых полей
Обобщённые модули в стандартном Oberon