diff --git a/tests/lua/level9.lua b/tests/lua/level9.lua
new file mode 100644
index 0000000000..ee145f441f
--- /dev/null
+++ b/tests/lua/level9.lua
@@ -0,0 +1,4 @@
+local l = param_univ("l")
+assert(l+0 == l)
+local l = mk_level_zero()
+assert(l+0 == mk_level_zero())