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