Symbol: ec_GFp_simple_mul_double_nonct