delete_key 541 bin/dbupdate/dbupdate.cc result_from_delete_key = delete_key(arg); delete_key 837 bin/dbupdate/dbupdate.cc result_from_delete_key = delete_key(arg);