extlib__25bignum_dump__STUB 377 src/extlib.c static SCM_DEFINE_SUBR(extlib__25bignum_dump__STUB, 1, 0, SCM_OBJ(&extlib__25bignum_dump__NAME), extlib__25bignum_dump, NULL, NULL); extlib__25bignum_dump__STUB 6217 src/extlib.c SCM_DEFINE(module, "%bignum-dump", SCM_OBJ(&extlib__25bignum_dump__STUB));