!map pages=“monitorer_gnu/* and ! monitorer_gnu//////”