> OMI is Oberon Machine Independent? afaik, OMI stood for Oberon Module Interchange, but I am not absolutely confident and I think your interpreation would be also possible. Does one of the former ETHZ members remember the correct meaning? -- Bernhard