#include <stddef.h>
#ifndef __STDIO_H__
#define __STDIO_H__
// Type definitions
typedef void FILE;
// Values
extern FILE* stdout;
extern FILE* stderr;
extern FILE* stdin;
// Basic file handlers
extern FILE* fopen(const char* filename, const char* mode);
#endif