Symbol: mpn_mul_1