static void dm_gc() {
  dm_gcWithInfoBox();
}