-/*
- * fill the inbuffer from the standard input.
- * Assert: there are always n COMPLETE! lines in the buffer area.
- * Assert: there is always a \n terminating the last line
- * in the buffer area.
- * Assert: after the \n, there is an EOFCHAR (hard end of file)
- * or a NEEDCHAR (end of buffer)
- * Assert: fgets always null pads the string it reads.
- * Assert: no ungetc's are done at the end of a line or at the
- * beginning of a line.
- *
- * We read a complete buffer of characters in one single read.
- * We then back scan within this buffer to find the end of the
- * last complete line, and force the assertions, and save a pointer
- * to the incomplete line.
- * The next call to fillinbuffer will move the unread characters
- * to the end of the first buffer, and then read another two buffers,
- * completing the cycle.
- */
+static inttoktype oval = NL;
+#define ASINBUFSIZ 4096
+char inbufunget[8];
+char inbuffer[ASINBUFSIZ];
+char *Ginbufptr = inbuffer;
+int Ginbufcnt = 0;
+int scannerhadeof;