emit dumpfile and teefile