tagging mode is implicit if automatic tags environment is used
diff --git a/tests/86-atags-OK.asn1.-EF b/tests/86-atags-OK.asn1.-EF
new file mode 100644
index 0000000..ebadd3a
--- /dev/null
+++ b/tests/86-atags-OK.asn1.-EF
@@ -0,0 +1,28 @@
+ModuleAutoTags { iso org(3) dod(6) internet(1) private(4) enterprise(1)
+ spelio(9363) software(1) asn1c(5) test(1) 86 }
+DEFINITIONS AUTOMATIC TAGS ::=
+BEGIN
+
+A ::= SEQUENCE {
+ a [0] IMPLICIT INTEGER
+}
+
+B ::= SEQUENCE {
+ a [0] IMPLICIT INTEGER
+}
+
+C ::= SEQUENCE {
+ a [0] IMPLICIT INTEGER
+}
+
+D ::= SEQUENCE {
+ a [0] EXPLICIT INTEGER
+}
+
+E ::= SEQUENCE {
+ a [0] EXPLICIT CHOICE {
+ b [0] IMPLICIT INTEGER
+ }
+}
+
+END