readch
if ((ch = readch()) == 'n' || ch == CTRL('D'))
ch = readch();
unsigned char readch(void);
char readch(void);
switch (c = readch()) {
while ((c = readch()) == '\n' || c == '\r' || c == ' ')
while ((c1=readch()) != '\r' && c1 != '\n' && c1 != ' ')
while ((c = readch()) == killchar() || c == erasechar())
while ((*sp = readch()) != '\n') {
while ((*sp = readch()) != '\n') {
switch (readch()) {
if (readch() == 'e')
ch = readch();
if (readch() == 'e')
switch (ch = readch()) {
if (readch() == 'e')
ch = readch();
ch = readch();
static __inline int readch(void);
index = readch();
ch1 = readch();
ch2 = readch();
char readch;
(void) read(0, &readch, 1);
switch(readch)