Oberon Extension of