diff --git a/tests/93-asn1c-controls-OK.asn1.-EF b/tests/93-asn1c-controls-OK.asn1.-EF
new file mode 100644
index 0000000..8df3402
--- /dev/null
+++ b/tests/93-asn1c-controls-OK.asn1.-EF
@@ -0,0 +1,22 @@
+Module-asn1c-controls { iso org(3) dod(6) internet(1) private(4) enterprise(1)
+	spelio(9363) software(1) asn1c(5) test(1) 93 }
+DEFINITIONS AUTOMATIC TAGS ::=
+BEGIN
+
+Sequence ::= SEQUENCE {
+    ainl	 [0] IMPLICIT INTEGER,
+    aptr	 [1] IMPLICIT INTEGER	/* <asn1c:pointer> */
+}
+
+Set ::= SET {
+    ainl	 [0] IMPLICIT Sequence,
+    aptr	 [1] IMPLICIT Sequence	/* <asn1c:pointer> */
+}
+
+Choice ::= CHOICE {
+    setof	 [0] IMPLICIT SET OF INTEGER,	/* <asn1c:pointer> */
+    aptr	 [1] IMPLICIT Sequence,	/* <asn1c:pointer> */
+    ainl	 [2] IMPLICIT Sequence
+}
+
+END