Symbol: val_nsec_proves_positive_wildcard