static void gcAndPrintHeapSize() {
  long time = now();
  gc();
  done_always(time, renderHeapSize());
}