// We used to do it 5 times, but got convince once is enough
// to actually return excess memory to OS.
static int fullGC_count = 1;

svoid fullGC() {
  print("Before GC: " + getMemoryInfo());
  for i to fullGC_count: {
    gc();
    print("After GC " + (i+1) + "/" + fullGC_count + ": " + getMemoryInfo());
  }
}