svoid dm_verboseModuleChanges(bool flag) {
  dm_setOS(printOnPersistContents := flag);
}

svoid dm_verboseModuleChanges() {
  dm_verboseModuleChanges(true);
}