diff --git a/tests/14-resolver-OK.asn1 b/tests/14-resolver-OK.asn1
index 48fb0cc..4b0df81 100644
--- a/tests/14-resolver-OK.asn1
+++ b/tests/14-resolver-OK.asn1
@@ -5,19 +5,26 @@
 -- .spelio.software.asn1c.test (9363.1.5.1)
 -- .14 1
 -- .14 2
+-- .14 3
 
 ModuleTestResolver2
 	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
 		spelio(9363) software(1) asn1c(5) test(1) 14 1 }
 	DEFINITIONS ::=
 BEGIN
-	IMPORTS Enumeration, beta FROM
+	IMPORTS Enumeration, beta, gamma FROM
 		OtherModuleRenamed
 		{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
 			spelio(9363) software(1) asn1c(5) test(1) 14 2 };
 
-	-- external reference
+	-- external references
 	alpha Enumeration ::= beta
+	other Enumeration ::= gamma
+	
+	Struct ::= SEQUENCE {
+		member1	[1]	ModuleTestResolver3.Enumeration OPTIONAL,
+		member2	[2]	OtherModuleRenamed.Enumeration DEFAULT b
+	}
 
 	-- 
 	-- The following are for post-fix checking by the check_fixer.
@@ -26,6 +33,7 @@
 	-- 
 
 	check-alpha INTEGER ::= 2
+	check-other INTEGER ::= 1
 
 END
 
@@ -34,12 +42,25 @@
 		spelio(9363) software(1) asn1c(5) test(1) 14 2 }
 	DEFINITIONS ::=
 BEGIN
-	EXPORTS Enumeration, beta ;
+	EXPORTS Enumeration, beta, gamma;
+	IMPORTS gamma, HiddenEnum FROM HiddenModule;
 
 	beta HiddenEnum ::= b
 
+	Enumeration ::= ENUMERATED { a(1), b(2) }	-- the same type --
+
+END
+
+HiddenModule
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 14 3 }
+	DEFINITIONS ::=
+BEGIN
+	EXPORTS HiddenEnum, gamma;
+	IMPORTS Enumeration FROM ModuleTestResolver3;
+
 	HiddenEnum ::= ENUMERATED { a(1), b(2) }
 
-	Enumeration ::= ENUMERATED { a(1), b(2) }	-- the same type --
+	gamma Enumeration ::= a
 
 END
diff --git a/tests/14-resolver-OK.asn1.-EF b/tests/14-resolver-OK.asn1.-EF
new file mode 100644
index 0000000..7070bc8
--- /dev/null
+++ b/tests/14-resolver-OK.asn1.-EF
@@ -0,0 +1,51 @@
+
+ModuleTestResolver2 {iso org(3) dod(6) internet(1) private(4)
+	enterprise(1) spelio(9363) software(1) asn1c(5) test(1)
+	14 1 }
+DEFINITIONS ::=
+BEGIN
+
+alpha Enumeration ::= 2
+
+other Enumeration ::= 1
+
+Struct ::= SEQUENCE {
+    member1	 [1] EXPLICIT ModuleTestResolver3.Enumeration OPTIONAL,
+    member2	 [2] EXPLICIT OtherModuleRenamed.Enumeration DEFAULT 2
+}
+
+check-alpha INTEGER ::= 2
+
+check-other INTEGER ::= 1
+
+END
+
+ModuleTestResolver3 {iso org(3) dod(6) internet(1) private(4)
+	enterprise(1) spelio(9363) software(1) asn1c(5) test(1)
+	14 2 }
+DEFINITIONS ::=
+BEGIN
+
+beta HiddenEnum ::= 2
+
+Enumeration ::= ENUMERATED {
+    a(1),
+    b(2)
+}
+
+END
+
+HiddenModule {iso org(3) dod(6) internet(1) private(4)
+	enterprise(1) spelio(9363) software(1) asn1c(5) test(1)
+	14 3 }
+DEFINITIONS ::=
+BEGIN
+
+HiddenEnum ::= ENUMERATED {
+    a(1),
+    b(2)
+}
+
+gamma Enumeration ::= 1
+
+END