static void timedGC_printAlways() {
  time "GC" {
    gc();
  }
}