extlib_supported_character_encodingP__STUB 1281 src/extlib.c   static SCM_DEFINE_SUBR(extlib_supported_character_encodingP__STUB, 1, 0, SCM_OBJ(&extlib_supported_character_encodingP__NAME), extlib_supported_character_encodingP, NULL, NULL);
extlib_supported_character_encodingP__STUB 6179 src/extlib.c     SCM_DEFINE(module, "supported-character-encoding?", SCM_OBJ(&extlib_supported_character_encodingP__STUB));