Oberon — язык со строгой статической типизацией. Нельзя использовать неподходящие значения, где ожидаются значения иного рода. Примеры ошибок:

Исправьте ошибки в представленных примерах минимальными изменениями параметров.