extlib_standard_input_port__NAME 3444 src/extlib.c   static SCM_DEFINE_STRING_CONST(extlib_standard_input_port__NAME, "standard-input-port", 19, 19);
extlib_standard_input_port__NAME 3445 src/extlib.c   static SCM_DEFINE_SUBR(extlib_standard_input_port__STUB, 0, 0, SCM_OBJ(&extlib_standard_input_port__NAME), extlib_standard_input_port, NULL, NULL);