diff --git a/testdata/parser/counterexamples/arity_checking.pdl b/testdata/parser/counterexamples/arity_checking.pdl
new file mode 100644
index 0000000000000000000000000000000000000000..7a54b6d63de3491a39758dbc4cd4bb4d23cab59f
--- /dev/null
+++ b/testdata/parser/counterexamples/arity_checking.pdl
@@ -0,0 +1,17 @@
+
+int funcy() {
+    return 5;
+}
+
+int funcadelic(int a) {
+    return  a;
+}
+
+int caller() {
+    funcy();
+    funcy(1);
+    funcy(1, 2, 3);
+    funcadelic();
+    funcadelic(5);
+    return funcadelic(1, 2, 3);
+}