static File stefansOS_dumpHeap() {
  print("Collecting garbage...");
  time "GC" { gc(); }
  File f = stefansOS_heapDumpFile();
  dumpHeap(f);
  ret f;
}