readch
ch = readch();
ch = readch();
ch = readch();
int readch(void);
if ((ch = readch()) == 'n' || ch == CTRL('D'))
ch = readch();
unsigned char readch(void);
int 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' && *sp != '\r'
while ((*sp = readch()) != '\n' && *sp != '\r' &&
switch (readch()) {
if (readch() == 'e')
switch (readch()) {
if (readch() == 'e')
switch (readch()) {
if (readch() == 'e')
ch = readch();
ch = readch();
static __inline int readch(void);
idx = readch();
ch1 = readch();
ch2 = readch();