Symbol: mpn_sub_1