Loading annotation for gmplib.org