> Obviously, all [aliases] of an IMPORT must be unique. But whether > the righthand sides need to be unique as well is in my point of view > not defined in the report. > > Let’s first agree on what Oberon-07 should allow and then fix ORB > accordingly. Agreed. Thank you for stating it this clearly. Cheers, Paul