write_checkpoint 1487 bin/dbupdate/dbupdate.cc     write_checkpoint(1);
write_checkpoint 1664 bin/dbupdate/dbupdate.cc       write_checkpoint(1);
write_checkpoint 1683 bin/dbupdate/dbupdate.cc        write_checkpoint(1);