Symbol: __mpn_mul_1