includes:
  stdint.h

structs:
  - name: FILE
    putc: { type: fn_ptr, result: int, args: { id: uint32_t, c: char } }
    puts: { type: fn_ptr, result: int, args: { id: uint32_t, s: const char* } }
    id:   { type: uint32_t }

variables:
  stdin:  { type: const FILE * }
  stdout: { type: const FILE * }
  stderr: { type: const FILE * }

functions:
  printf: { result: void, args: { format: const char *__restrict__, ...: } }