Symbol: rsa_pub_decode