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