Symbol: ec_mul_single_ct