Symbol: ec_mul_double_nonct