--- opening "NumbersAsIds.ma" ---
--- scope checking ---