generate_upd_file 1267 bin/dbupdate/dbupdate.cc       temp_upd_file = generate_upd_file();
generate_upd_file 1275 bin/dbupdate/dbupdate.cc       temp_upd_file = generate_upd_file();
generate_upd_file 1460 bin/dbupdate/dbupdate.cc        temp_upd_file = generate_upd_file();