diff --git a/tests/46-redefine-OK.asn1 b/tests/46-redefine-OK.asn1
new file mode 100644
index 0000000..7890363
--- /dev/null
+++ b/tests/46-redefine-OK.asn1
@@ -0,0 +1,22 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .46
+
+ModuleChoiceInSequence
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 46 }
+	DEFINITIONS IMPLICIT TAGS ::=
+BEGIN
+
+	PrimitiveType ::= OCTET STRING
+
+	ConstructedType ::= SEQUENCE {
+		field	[5] PrimitiveType
+	}
+
+	T ::= [3] ConstructedType
+
+END