static File stefansOS_dumpHeap() {
  File f = stefansOS_heapDumpFile();
  dumpHeap(f);
  ret f;
}