delete_key       549 bin/dbupdate/dbupdate.cc                 result_from_delete_key = delete_key(arg);
delete_key       881 bin/dbupdate/dbupdate.cc                   result_from_delete_key = delete_key(arg);