1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
#ifndef STDIO_H #define STDIO_H typedef struct { int (*putc)(uint32_t id, char c); int (*puts)(uint32_t id, const char* s); uint32_t id; } FILE; const FILE *stdin; const FILE *stdout; const FILE *stderr; void printf(const char *__restrict__ format, ...); #endif // STDIO_H