1 files changed, 9 insertions, 0 deletions
diff --git a/test cases/31 generate header/prog.c b/test cases/31 generate header/prog.c
new file mode 100644
index 0000000..3429481
--- /dev/null
+++ b/test cases/31 generate header/prog.c
@@ -0,0 +1,9 @@
+#include"input_src.dat.h"
+
+int main(int argc, char **argv) {
+    void *foo = printf;
+    if(foo) {
+        return 0;
+    }
+    return 1;
+}