extlib_gauche_character_encoding__NAME 1245 src/extlib.c   static SCM_DEFINE_STRING_CONST(extlib_gauche_character_encoding__NAME, "gauche-character-encoding", 25, 25);
extlib_gauche_character_encoding__NAME 1246 src/extlib.c   static SCM_DEFINE_SUBR(extlib_gauche_character_encoding__STUB, 0, 0, SCM_OBJ(&extlib_gauche_character_encoding__NAME), extlib_gauche_character_encoding, NULL, NULL);