diff --git a/introtest b/introtest
new file mode 100644
index 0000000000000000000000000000000000000000..27dd5a53f20e20bfabd408d1307c5beaf785fd12
--- /dev/null
+++ b/introtest
@@ -0,0 +1,10 @@
+int f()
+{
+        int a = 1252;
+        printf("%d\n", a);
+}
+
+int main(int argc, const char *argv[])
+{
+        f();
+}