#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