diff --git a/example/simple/main.c b/example/simple/main.c
index bfd922e..2c0586d 100644
--- a/example/simple/main.c
+++ b/example/simple/main.c
@@ -4,3 +4,5 @@ int main() {
   int a;
   printf("hello, world!! %d\n", a);
 }
+
+int hello = 35;
diff --git a/example/simple/main_check_failing.c b/example/simple/main_check_failing.c
new file mode 100644
index 0000000..725d351
--- /dev/null
+++ b/example/simple/main_check_failing.c
@@ -0,0 +1,10 @@
+#include <stdio.h>
+
+int main() {
+	int a;
+	printf("hello, world!! %d\n", a);
+}
+
+
+
+int hello = 35;
\ No newline at end of file