Symbol: write_dryrun_file