write_checkpoint 1282 bin/dbupdate/dbupdate.cc write_checkpoint(1); write_checkpoint 1454 bin/dbupdate/dbupdate.cc write_checkpoint(1); write_checkpoint 1473 bin/dbupdate/dbupdate.cc write_checkpoint(1);