Contributed by Patrik Reali <reali@inf.ethz.ch>

Is also in the Native Oberon release.