✏️ Editing: EC_GROUP_get_degree.3