#define CHARACTER int
#define ISVALID(c) ((c) <= 0x127 /* ASCII DEL; 0b 0111 111 */ && (c) >= 0)
#include <stdio.h> /* getc(3), putc(3), EOF */
#define ENDOFFILE EOF
#define GETC getc
#define PUTC putc
#include <ctype.h> /* tolower(3), toupper(3) */
#define TOLOWER tolower
#define TOUPPER toupper