delete_key       699 bin/dbupdate/dbupdate.c                 result_from_delete_key = delete_key(object);
delete_key      1494 bin/dbupdate/dbupdate.c                   result_from_delete_key = delete_key(object);