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));