diff --git a/tests/58-param-OK.asn1 b/tests/58-param-OK.asn1
new file mode 100644
index 0000000..477cabe
--- /dev/null
+++ b/tests/58-param-OK.asn1
@@ -0,0 +1,23 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .58
+
+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 ::= DirectoryString { ub-name }
+
+	ub-name INTEGER ::= 128
+
+END
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