1 files changed, 103 insertions, 0 deletions
diff --git a/include/stdio.h b/include/stdio.h
new file mode 100644
index 00000000..3cc457b3
--- /dev/null
+++ b/include/stdio.h
@@ -0,0 +1,103 @@
+#ifndef __STDIO_H
+#define __STDIO_H
+
+#ifndef NULL
+#define NULL ((void *)0)
+#endif
+
+#define _IOFBF 2
+#define _IOLBF 1
+#define _IONBF 0
+
+#undef SEEK_SET
+#undef SEEK_CUR
+#undef SEEK_END
+#define SEEK_SET 0
+#define SEEK_CUR 1
+#define SEEK_END 2
+
+#define BUFSIZ 4096
+
+#define EOF (-1)
+
+typedef struct __FILE FILE;
+typedef __builtin_va_list va_list;
+typedef __SIZE_TYPE__ size_t;
+typedef __INT64_TYPE__ off_t;
+typedef union __fpos_t fpos_t;
+typedef __INT64_TYPE__ ssize_t;
+
+extern FILE *const stdin;
+extern FILE *const stdout;
+extern FILE *const stderr;
+
+int asprintf(char **restrict, const char *restrict, ...);
+void clearerr(FILE *);
+char *ctermid(char *);
+int dprintf(int, const char *restrict, ...);
+int fclose(FILE *);
+FILE *fdopen(int, const char *);
+int feof(FILE *);
+int ferror(FILE *);
+int fflush(FILE *);
+int fgetc(FILE *);
+int fgetpos(FILE *restrict, fpos_t *restrict);
+char *fgets(char *restrict, int, FILE *restrict);
+int fileno(FILE *);
+void flockfile(FILE *);
+FILE *fmemopen(void *restrict, size_t, const char *restrict);
+FILE *fopen(const char *restrict, const char *restrict);
+int fprintf(FILE *restrict, const char *restrict, ...);
+int fputc(int, FILE *);
+int fputs(const char *restrict, FILE *restrict);
+size_t fread(void *restrict, size_t, size_t, FILE *restrict);
+FILE *freopen(const char *restrict, const char *restrict, FILE *restrict);
+int fscanf(FILE *restrict, const char *restrict, ...);
+int fseek(FILE *, long, int);
+int fseeko(FILE *, off_t, int);
+int fsetpos(FILE *, const fpos_t *);
+long ftell(FILE *);
+off_t ftello(FILE *);
+int ftrylockfile(FILE *);
+void funlockfile(FILE *);
+size_t fwrite(const void *restrict, size_t, size_t, FILE *restrict);
+int getc(FILE *);
+int getchar(void);
+int getc_unlocked(FILE *);
+int getchar_unlocked(void);
+ssize_t getdelim(char **restrict, size_t *restrict, int, FILE *restrict);
+ssize_t getline(char **restrict, size_t *restrict, FILE *restrict);
+FILE *open_memstream(char **, size_t *);
+int pclose(FILE *);
+void perror(const char *);
+FILE *popen(const char *, const char *);
+int printf(const char *restrict, ...);
+int putc(int, FILE *);
+int putchar(int);
+int putc_unlocked(int, FILE *);
+int putchar_unlocked(int);
+int puts(const char *);
+int remove(const char *);
+int rename(const char *, const char *);
+int renameat(int, const char *, int, const char *);
+void rewind(FILE *);
+int scanf(const char *restrict, ...);
+void setbuf(FILE *restrict, char *restrict);
+int setvbuf(FILE *restrict, char *restrict, int, size_t);
+int snprintf(char *restrict, size_t, const char *restrict, ...);
+int sprintf(char *restrict, const char *restrict, ...);
+int sscanf(const char *restrict, const char *restrict, ...);
+FILE *tmpfile(void);
+char *tmpnam(char *);
+int ungetc(int, FILE *);
+int vasprintf(char **restrict, const char *restrict, va_list);
+int vdprintf(int, const char *restrict, va_list);
+int vfprintf(FILE *restrict, const char *restrict, va_list);
+int vfscanf(FILE *restrict, const char *restrict, va_list);
+int vprintf(const char *restrict, va_list);
+int vscanf(const char *restrict, va_list);
+int vsnprintf(char *restrict, size_t, const char *restrict, va_list);
+int vsprintf(char *restrict, const char *restrict, va_list);
+int vsscanf(const char *restrict, const char *restrict, va_list);
+
+#endif