stdio.h

   1 #include <stdarg.h>
   2
   3 struct FILE
   4 {
   5   bool active;
   6   int (*put)(int);    /* function to write one char to device */
   7   int (*get)();       /* function to read one char from device */
   8 };
   9
  10 #define FILEDESCS 8
  11
  12 FILE *fopen(int (*put)(int), int (*get)());
  13 int fclose(FILE *fp);
  14
  15 int puts(const char *str);
  16 int putc(int c);
  17 int putchar(int c);
  18 int getc();
  19
  20 int fputs(const char *str, FILE *fp);
  21 int fputc(int c, FILE *fp);
  22 int fgetc(FILE *fp);
  23 int strlen(const char *str);
  24
  25 int fprintf(FILE *fp, const char *fmt, ...);
  26 int vfprintf(FILE *fp, const char *fmt, va_list ap);
  27
  28 int printf(const char *fmt, ...);
  29
  30 extern FILE *stdout;
  31 extern FILE *stdin;