{ obsolete, replaced by MMF$INCLUDE_PAGES_IN_DUMP
