#ifndef GCC_COMPAT_STDIO_H
#define GCC_COMPAT_STDIO_H

#include <stdarg.h>
#include <stddef.h>

typedef struct __gcc_compat_file FILE;

int printf(const char *format, ...);
int sprintf(char *buffer, const char *format, ...);
int snprintf(char *buffer, size_t size, const char *format, ...);
int vsnprintf(char *buffer, size_t size, const char *format, va_list args);
int fputc(int ch, FILE *stream);

#endif
