Symbol: __gmp_const