TX.dump(): fout arg.