#define EOF    (-1)	/* same as in <stdio.h> */
#define NOCHAR (-3)

extern void openstdio(), closestdio();
extern void my_alarm(int);
extern int my_getchar();
extern void my_putchar(int);