// Indirect loader of the symbol index for Gmp.bignum.

PikeDoc.loadScript("ex/predef_3A_3A/Gmp/bignum/index.js", true, null);