Example oberon