Symbol: __mpn_submul_1