diff --git a/c-basic/reachable.c b/c-basic/reachable.c
new file mode 100644
index 0000000..4596771
--- /dev/null
+++ b/c-basic/reachable.c
@@ -0,0 +1,21 @@
+#include <stdio.h>
+
+int foo()
+{
+  printf("Foo\n");
+
+  printf("test\n"); /* Reachable code */
+
+  return 100;
+
+}
+
+int main()
+{
+  int result;
+
+  result = foo() * 2;
+  printf("%d\n", result);
+
+  return 0;
+}
diff --git a/c-basic/reachable_2.c b/c-basic/reachable_2.c
new file mode 100644
index 0000000..4596771
--- /dev/null
+++ b/c-basic/reachable_2.c
@@ -0,0 +1,21 @@
+#include <stdio.h>
+
+int foo()
+{
+  printf("Foo\n");
+
+  printf("test\n"); /* Reachable code */
+
+  return 100;
+
+}
+
+int main()
+{
+  int result;
+
+  result = foo() * 2;
+  printf("%d\n", result);
+
+  return 0;
+}