/* Copyright (C) 2008  Emmanuel Varoquaux

   This file is part of XOS.

   This program is free software: you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation, either version 3 of the License, or
   (at your option) any later version.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program.  If not, see <http://www.gnu.org/licenses/>. */

#ifndef STDIO_H
#define STDIO_H

#include <stdio.h>

typeof (fopen) __fopen;
typeof (freopen) __freopen;
typeof (fclose) __fclose;
typeof (fseek) __fseek;
typeof (ftell) __ftell;
typeof (rewind) __rewind;
typeof (fgetpos) __fgetpos;
typeof (fsetpos) __fsetpos;
typeof (fread) __fread;
typeof (fwrite) __fwrite;
typeof (fgetc) __fgetc;
typeof (fgets) __fgets;
typeof (getc) __getc;
typeof (getchar) __getchar;
typeof (gets) __gets;
typeof (ungetc) __ungetc;
typeof (fputc) __fputc;
typeof (fputs) __fputs;
typeof (putc) __putc;
typeof (putchar) __putchar;
typeof (puts) __puts;
typeof (clearerr) __clearerr;
typeof (feof) __feof;
typeof (ferror) __ferror;
typeof (fflush) __fflush;
typeof (setbuf) __setbuf;
typeof (setvbuf) __setvbuf;
typeof (remove) __remove;
typeof (rename) __rename;
typeof (fdopen) __fdopen;
typeof (setbuffer) __setbuffer;
typeof (setlinebuf) __setlinebuf;
typeof (fileno) __fileno;

void __stdio_init();
void __stdio_fini();

#endif