Symbol: rsa_pkcs_verify