Symbol: ECGroup_free