#ifndef PARDES_WEB_STDIO_H
#define PARDES_WEB_STDIO_H

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

typedef struct PardesWebFile FILE;

#define stderr ((FILE *)0)

int fprintf(FILE *stream, const char *format, ...);
int fclose(FILE *stream);
FILE *fdopen(int descriptor, const char *mode);
int fputc(int character, FILE *stream);
int fputs(const char *string, FILE *stream);
int snprintf(char *restrict buffer, size_t size, const char *restrict format, ...);
int vsnprintf(char *restrict buffer, size_t size, const char *restrict format, va_list args);

#endif