stdlib_write_char__STUB 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);
stdlib_write_char__STUB 4004 src/stdlib.c     SCM_DEFINE(module, "write-char", SCM_OBJ(&stdlib_write_char__STUB));