SEXP_STREAM_UNGETC 874 src/sexp.c		SEXP_STREAM_UNGETC(stream, ch);
SEXP_STREAM_UNGETC 734 src/sexp.c	      SEXP_STREAM_UNGETC(stream, ch);	/* cons	*/
SEXP_STREAM_UNGETC 755 src/sexp.c	      SEXP_STREAM_UNGETC(stream, ch);