Symbol: __mpn_mul