Index: doc/papers/OOPSLA17/evaluation/c-print.h
===================================================================
--- doc/papers/OOPSLA17/evaluation/c-print.h	(revision 90152a4860529aff7214be01cd22abd37012cd19)
+++ doc/papers/OOPSLA17/evaluation/c-print.h	(revision 90152a4860529aff7214be01cd22abd37012cd19)
@@ -0,0 +1,9 @@
+#pragma once
+#include <stdio.h>
+
+void print_string(FILE* out, const char* x);
+void print_bool(FILE* out, _Bool x);
+void print_char(FILE* out, char x);
+void print_int(FILE* out, int x);
+
+void print(FILE* out, const char* fmt, ...);