typedef int CHAR;
#include <ctype.h> /* isalpha(3), islower(3), isupper(3) */
#define ISALPHA(a) (((a) < 0x80) && isalpha(a))
#define ISLOWER(a) (((a) < 0x80) && islower(a))
#define ISUPPER(a) (((a) < 0x80) && isupper(a))
#include <stdio.h> /* getc(3), putc(3), stdin, stdout, EOF */
#define ENDOFFILE EOF
#define GETC getc
#define PUTC putc
/* #include <stdlib.h> /* size_t */