Symbol: ccp_ecc_point