1 files changed, 6 insertions, 0 deletions
diff --git a/docs/history/17-o3-boundaries/code/io_linux.c b/docs/history/17-o3-boundaries/code/io_linux.c
new file mode 100644
index 0000000..7ea34e0
--- /dev/null
+++ b/docs/history/17-o3-boundaries/code/io_linux.c
@@ -0,0 +1,6 @@
+#include <stdio.h>
+int J;
+static int pk(void){int c=getchar();ungetc(c,stdin);return c==EOF;}
+char Q(void){int c=getchar();J=pk();return c;}
+void G(char c){putchar(c);}
+__attribute__((constructor)) static void init(void){J=pk();}