write_checkpoint 1137 bin/dbupdate/dbupdate.cc     write_checkpoint(1);
write_checkpoint 1287 bin/dbupdate/dbupdate.cc       write_checkpoint(1);
write_checkpoint 1306 bin/dbupdate/dbupdate.cc        write_checkpoint(1);