static void timedGC() {
  long time = sysNow(), start = now();
  gc_notTooOften();
  done2_systemErr(time, "GC " + hmsWithColons(start));
}