extlib_bignumP__STUB  253 src/extlib.c   static SCM_DEFINE_SUBR(extlib_bignumP__STUB, 1, 0, SCM_OBJ(&extlib_bignumP__NAME), extlib_bignumP, NULL, NULL);
extlib_bignumP__STUB 6222 src/extlib.c     SCM_DEFINE(module, "bignum?", SCM_OBJ(&extlib_bignumP__STUB));