Symbol: ecp_sm2p256_point_add