static new SingleThread fullGCInBackground_thread;

svoid fullGCInBackground() {
  fullGCInBackground_thread.go(r {
    fullGC()
  });
}