diff --git a/tests/58-param-OK.asn1.-EF b/tests/58-param-OK.asn1.-EF
new file mode 100644
index 0000000..3f950bf
--- /dev/null
+++ b/tests/58-param-OK.asn1.-EF
@@ -0,0 +1,20 @@
+
+ModuleTestParam {iso org(3) dod(6) internet(1) private(4)
+	enterprise(1) spelio(9363) software(1) asn1c(5) test(1)
+	58 }
+DEFINITIONS ::=
+BEGIN
+
+DirectoryString{INTEGER:maxSize} ::= CHOICE {
+    teletexString	 TeletexString (SIZE(1..maxSize)),
+    utf8String	 UTF8String (SIZE(1..maxSize))
+}
+
+DS1 ::= CHOICE {
+    teletexString	 TeletexString (SIZE(1..128)),
+    utf8String	 UTF8String (SIZE(1..128))
+}
+
+ub-name INTEGER ::= 128
+
+END