Symbol: rsa_pub_cmp