delete_key       1017 bin/dbupdate/dbupdate.c                 result_from_delete_key = delete_key(object);
delete_key       1942 bin/dbupdate/dbupdate.c                   result_from_delete_key = delete_key(object);