4 ** based on /usr/include/stdio.h on red-cross
10 ** we need to allow casts to and from these types...
11 ** they should be exposed, but unknown type.
16 typedef void *va_list;
25 | int : char | getc (FILE *stream )
30 | int : char | getchar (void)
35 | int : void | putc (| int : char | c, FILE *stream)
40 int putchar (|int : char| c)
45 | int : bool | feof (FILE *stream)
50 | int : bool | ferror (FILE *stream )
55 int fileno (FILE *stream)
65 int _flsbuf (unsigned char x, FILE *p)
70 void clearerr (FILE *stream)
75 | int : void | fclose (FILE *stream )
80 FILE * fdopen (int filedes, char *ttype)
85 | int : void | fflush (FILE *stream )
90 | int : char | fgetc (FILE *stream )
95 int fgetpos (FILE *stream, fpos_t *pos )
100 char *fgets (char *s, int n, FILE *stream )
106 FILE *fopen (char *filename, char *ttype )
112 | int : void | fprintf (FILE *stream, char *format, ...)
118 | int : void | sprintf (FILE *stream, char *format, ...)
123 | int : void | fputc (| int : char | c, FILE *stream )
128 | int : void | fputs( char *s, FILE *stream )
133 size_t fread (void *ptr, size_t size,
134 size_t nitems, FILE *stream )
139 FILE *freopen (char *filename, char *ttype,
146 int fscanf (FILE *stream, char *format, ... )
151 | int : void | fseek (FILE *stream, long offset, int ptrname)
156 int fsetpos (FILE *stream, fpos_t *pos)
161 long ftell (FILE *stream)
166 size_t fwrite (void *ptr, size_t size,
167 size_t nitems, FILE *stream)
177 void perror (char *s)
182 FILE *popen (char *command, char *ttype)
187 | int : void | ungetc(char c, FILE *stream)
193 | int : void | printf (char *format, ...)
198 | int : void | puts (char *s)
203 | int : bool | remove (char *filename)
208 | int : bool | rename (char *from, char *to)
213 void rewind (FILE *stream)
219 | int : void | scanf (char *format, ...)
224 void setbuf (FILE *stream, char *buf)
229 int setvbuf (FILE *stream, char *buf,
230 int ttype, size_t size )
236 | int : void | sscanf (char *s, char *format, ...)
241 FILE *tmpfile( void )
246 char *tmpnam (char *s)