Re: [Oberon] Is this a bug ?