Отнюдь, поведение при многих нештатных ситуациях не определены, а потому позволяют мутить воду. Посмотрите последний проведённый конкурс Unhandled C, там многие участники просто использовали значение неопределённости в double. Чем в этом плане Oberon отличается от C?
Конкурс для того и нужен, чтобы привлечь внимание и принять меры, а не ходить в розовых очках.