Symbol: EC_POINT_hex2point