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);