write_checkpoint 2333 bin/dbupdate/dbupdate.c write_checkpoint(1); write_checkpoint 2586 bin/dbupdate/dbupdate.c write_checkpoint(1); write_checkpoint 2605 bin/dbupdate/dbupdate.c write_checkpoint(1);