stdlib_write_char__NAME 3998 src/stdlib.c   static SCM_DEFINE_STRING_CONST(stdlib_write_char__NAME, "write-char", 10, 10);
stdlib_write_char__NAME 3999 src/stdlib.c   static SCM_DEFINE_SUBR(stdlib_write_char__STUB, 1, 1, SCM_OBJ(&stdlib_write_char__NAME), stdlib_write_char, SCM_MAKE_INT(SCM_VM_WRITE_CHAR), NULL);