#define const 

typedef	struct {
	/* this is all wrong, but so what? */
	char	pad[96];	
} FILE;


extern FILE __sstdin;
extern FILE __sstdout;
extern FILE __sstderr;

#define	stdin	(&__sstdin)
#define	stdout	(&__sstdout)
#define	stderr	(&__sstderr)
#define	BUFSIZ	1024		/* size of buffer used by setbuf */
#define	EOF	(-1)
#define	NULL	0

typedef int size_t;
typedef /*long*/ int fpos_t;
typedef void *__gnuc_va_list;
 
void	 clearerr(FILE *);
int	 fclose(FILE *);
int	 feof(FILE *);
int	 ferror(FILE *);
int	 fflush(FILE *);
int	 fgetc(FILE *);
int	 fgetpos(FILE *, fpos_t *);
int	 fileno(FILE *);
void	 flockfile();
int	 fprintf(FILE *, const char *, ...);
int	 fpurge();
int	 fputc(int, FILE *);
int	 fputs(const char *, FILE *);
size_t	 fread(void *, size_t, size_t, FILE *);
int	 fscanf(FILE *, const char *, ...);
/* int	 fseek(FILE *, long int, int); */
int	 fsetpos(FILE *, const fpos_t *);
long	 ftell(FILE *);
int	 ftrylockfile();
void	 funlockfile();
size_t	 fwrite(const void *, size_t, size_t, FILE *);
int	 getc(FILE *);
int	 getc_unlocked();
int	 getchar(void);
int	 getchar_unlocked();
int	 getw(FILE *);
int	 pclose(FILE *);
void	 perror(const char *);
int	 printf(const char *, ...);
int	 putc(int, FILE *);
int	 putc_unlocked();
int	 putchar(int);
int	 putchar_unlocked();
int	 puts(const char *);
int	 putw(int, FILE *);
int	 remove(const char *);
int	 rename (const char *, const char *);
void	 rewind(FILE *);
int	 scanf(const char *, ...);
void	 setbuf(FILE *, char *);
void	 setbuffer();
int	 setlinebuf();
int	 setvbuf(FILE *, char *, int, size_t);
int	 snprintf();
int	 sprintf(char *, const char *, ...);
int	 sscanf(const char *, const char *, ...);
int	 ungetc(int, FILE *);
int	 vfprintf(FILE *, const char *, __gnuc_va_list);
int	 vfscanf();
int	 vprintf(const char *, __gnuc_va_list);
int	 vscanf();
int	 vsnprintf();
int	 vsprintf(char *, const char *, __gnuc_va_list);
int	 vsscanf();
char	*ctermid(char *);
FILE	*fdopen(int, const char *);
char	*fgetln();
char	*fgets(char *, int, FILE *);
FILE	*fopen(const char *, const char *);
FILE	*freopen(const char *, const char *, FILE *);
FILE	*funopen();
char	*gets(char *);
FILE	*popen(const char *, const char *);
char	*tempnam(const char *, const char *);
FILE	*tmpfile(void);
char	*tmpnam(char *);