nsec3_prove_nods
nsec3_prove_nods(struct module_env* env, struct val_env* ve,
sec = nsec3_prove_nods(qstate->env, ve,
nsec3_prove_nods(struct module_env* env, struct val_env* ve,
sec = nsec3_prove_nods(qstate->env, ve,