diff --git a/dummy.c b/dummy.c
new file mode 100644
index 000000000..564814cf4
--- /dev/null
+++ b/dummy.c
@@ -0,0 +1,19 @@
+// for testing the compiler
+
+#ifdef HEADER
+#include <HEADER>
+#endif
+
+#define UNUSED __attribute__ ((__unused__))
+
+#ifdef TYPE
+static TYPE x UNUSED;
+#endif
+
+#ifdef SYMBOL
+static int exists UNUSED = !!SYMBOL;
+#endif
+
+int main(int argc UNUSED, char *argv[] UNUSED){
+	return 0;
+}