--- opening "Umlaut.ma" --- --- scope checking ---