/*	stdio.h		*/
/* NFS		11-Feb-86 11:11:15   */
/* MEW		22-Mar-86 11:28:27 */

#ifndef SEEK←SET
typedef int **FILE; /* substitute for Stream.Handle */

#define SEEK←SET 0  /* constants for fseek */
#define SEEK←CUR 1
#define SEEK←END 2

#define EOF    (-1)
#define NULL   (int *)0
#define BUFSIZ 512  /* Environment.bytesPerPage */

extern FILE *stdin, *stdout, *stderr;
extern FILE *fopen(), *freopen(), *tmpfile();
extern char *fgets(), *gets();
extern long ftell();
extern char *sprintf();

#define	getc(c)	 fgetc(c)
#define	getchar() fgetc(stdin)
#define putc(x,p) fputc(x,p)
#define	putchar(x) fputc(x,stdout)
#endif