Update ec_ops.h