write_one_file
write_one_file(def_dom);
write_one_file(tmp);
static void write_one_file(struct domain_st *);