!7

// Note: Deadlock solving happens in OS main too, so it will not be
// lost if GC is turned off here.

module GarbageCollection {
  bool on;
  
  visualize {
    ret jCheckBox("GC On", 'on);
  }
  
  update {
    if (on) regularGC(); else noRegularGC();
  }
}