svoid dm_verboseGC() {
  print("Garbage collection!");
  timedGCPlusDeadlockSolving_printAlways();
}