write_checkpoint 1564 bin/dbupdate/dbupdate.cc write_checkpoint(1); write_checkpoint 1764 bin/dbupdate/dbupdate.cc write_checkpoint(1); write_checkpoint 1783 bin/dbupdate/dbupdate.cc write_checkpoint(1);