Symbol: eddsa_decode_point