1 files changed, 17 insertions, 0 deletions
diff --git a/stdio.yaml b/stdio.yaml
new file mode 100644
index 0000000..b7dcfb9
--- /dev/null
+++ b/stdio.yaml
@@ -0,0 +1,17 @@
+
+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__, ...: } }