DUMP_XLATED
mode = DUMP_XLATED;
if (env.dump_mode & DUMP_XLATED)
dump(info.id, DUMP_XLATED, base_filename, prog_name);
env.dump_mode |= DUMP_XLATED;