Symbol: mpn_submul_1