diff --git a/src/tests/multi_args.exp b/src/tests/multi_args.exp
new file mode 100644
index 0000000..d81cc07
--- /dev/null
+++ b/src/tests/multi_args.exp
@@ -0,0 +1 @@
+42
diff --git a/src/tests/multi_args.lambda b/src/tests/multi_args.lambda
new file mode 100644
index 0000000..12359db
--- /dev/null
+++ b/src/tests/multi_args.lambda
@@ -0,0 +1,2 @@
+let sum = fun x -> fun y -> x + y in
+print(40 + 2)
diff --git a/src/tests/multi_args_rec.exp b/src/tests/multi_args_rec.exp
new file mode 100644
index 0000000..4521d57
--- /dev/null
+++ b/src/tests/multi_args_rec.exp
@@ -0,0 +1,10 @@
+0
+0
+0
+0
+0
+0
+0
+0
+0
+0
diff --git a/src/tests/multi_args_rec.lambda b/src/tests/multi_args_rec.lambda
new file mode 100644
index 0000000..e9170fc
--- /dev/null
+++ b/src/tests/multi_args_rec.lambda
@@ -0,0 +1,8 @@
+let rec print_n = fun cur -> fun n ->
+    ifzero n - cur then
+        0
+    else
+        let x = print 0 in
+        print_n (cur + 1) n
+    in
+print_n 0 10