static void timedGCInNewThread() {
  thread "GC" {
    timedGC();
  }
}