inputch
while (inputch() != ' ');
ch = inputch();
int inputch(void);
if ((inputch() & 0177) != ' ')
inputch();
while ((ch = inputch()) != '\021' && ch != '\023')
ch = inputch();
j = inputch();
return (inputch());