/* Stdio.h for the C-Gateway. */

#define NULL 0
#define FILE struct _FILE_str

FILE {
    int f_count;
    char *f_buf;
};

#define putc(c, file) {\
	if ((file)) {\
	    *(file)->f_buf = (c);\
	    if ((file)->f_count) {\
		(file)->f_buf++;\
		(file)->f_count--;\
	    }\
	}\
	else\
	  putchar(c);\
      }