diff --git a/valid/function/simple_functions/clashNames.wacc b/valid/function/simple_functions/clashNames.wacc
new file mode 100644
index 0000000000000000000000000000000000000000..f613ccb389a38da23958140920bd02a5cb655cf2
--- /dev/null
+++ b/valid/function/simple_functions/clashNames.wacc
@@ -0,0 +1,21 @@
+# we should be able to use any function names, even if they clash with libc
+
+# Output:
+
+# Exit:
+# 101
+
+# Program:
+
+begin
+    int malloc() is return 42 end
+    int scanf() is return 37 end
+    int printf() is return 20 end
+    int puts() is return 2 end
+
+    int u = call malloc();
+    int x = call scanf();
+    int y = call printf();
+    int z = call puts();
+    exit (u + x + y + z)
+end