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