Edit File: EC_POINT_cmp.3