dumpToFile implemented