write_checkpoint 1179 bin/dbupdate/dbupdate.cc write_checkpoint(1); write_checkpoint 1329 bin/dbupdate/dbupdate.cc write_checkpoint(1); write_checkpoint 1348 bin/dbupdate/dbupdate.cc write_checkpoint(1);