Symbol: nsec3_do_prove_nameerror