gmp.lib #1