int dump_missions = 0;