extlib__25bignum_dump__NAME  376 src/extlib.c   static SCM_DEFINE_STRING_CONST(extlib__25bignum_dump__NAME, "%bignum-dump", 12, 12);
extlib__25bignum_dump__NAME  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);