Initial revision

git-svn-id: https://asn1c.svn.sourceforge.net/svnroot/asn1c/trunk@2 59561ff5-6e30-0410-9f3c-9617f08c8826

49 files changed, 2165 insertions, 0 deletions

diff --git a/tests/00-empty-OK.asn1 b/tests/00-empty-OK.asn1
new file mode 100644
index 00000000..532d4fb0
--- /dev/null
+++ b/tests/00-empty-OK.asn1
@@ -0,0 +1 @@
+ModuleTestEmpty DEFINITIONS ::= BEGIN END
diff --git a/tests/01-empty-OK.asn1 b/tests/01-empty-OK.asn1
new file mode 100644
index 00000000..04d9ba77
--- /dev/null
+++ b/tests/01-empty-OK.asn1
@@ -0,0 +1,14 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .1
+
+ModuleTestEmpty
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 1 }
+	DEFINITIONS ::=
+BEGIN
+
+END
diff --git a/tests/02-garbage-NP.asn1 b/tests/02-garbage-NP.asn1
new file mode 100644
index 00000000..410c7bc0
--- /dev/null
+++ b/tests/02-garbage-NP.asn1
@@ -0,0 +1,17 @@
+
+-- NP: Non-parseable.
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .2
+
+ModuleTestGarbage
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 2 }
+	DEFINITIONS ::=
+BEGIN
+
+	-- must fail on the next line --
+	some garbage
+
+END
diff --git a/tests/03-enum-OK.asn1 b/tests/03-enum-OK.asn1
new file mode 100644
index 00000000..567df26a
--- /dev/null
+++ b/tests/03-enum-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)
+-- .3
+
+ModuleTestEnum1
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 3 }
+	DEFINITIONS ::=
+BEGIN
+
+	Enum1 ::= ENUMERATED
+		{ red,	-- will be 0 --
+		green,	-- will be 1 --
+		blue(4),
+		alpha,
+		... -- extensible --
+		}
+
+END
diff --git a/tests/04-enum-SE.asn1 b/tests/04-enum-SE.asn1
new file mode 100644
index 00000000..e9a37c4b
--- /dev/null
+++ b/tests/04-enum-SE.asn1
@@ -0,0 +1,19 @@
+
+-- SE: Semantic error
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .4
+
+ModuleTestEnum2
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 4 }
+	DEFINITIONS ::=
+BEGIN
+
+	enum1 Enum1 ::= blue
+
+	Enum1 ::= ENUMERATED { red, green, ...,
+		blue(1) -- collides with green -- }
+
+END
diff --git a/tests/05-enum-SE.asn1 b/tests/05-enum-SE.asn1
new file mode 100644
index 00000000..083724d2
--- /dev/null
+++ b/tests/05-enum-SE.asn1
@@ -0,0 +1,21 @@
+
+-- SE: Semantic error
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .5
+
+ModuleTestEnum3
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 5 }
+	DEFINITIONS ::=
+BEGIN
+
+	enum1 Enum1 ::= red
+
+	Enum1 ::= ENUMERATED { red(5), green(4), ..., blue(6),
+		-- second extension marker is not allowed --
+		...,
+		white(7) }
+
+END
diff --git a/tests/06-enum-SE.asn1 b/tests/06-enum-SE.asn1
new file mode 100644
index 00000000..ad304af1
--- /dev/null
+++ b/tests/06-enum-SE.asn1
@@ -0,0 +1,20 @@
+
+-- SE: Semantic error
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .6
+
+ModuleTestEnum4
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 6 }
+	DEFINITIONS ::=
+BEGIN
+
+	enum1 Enum1 ::= red
+
+	Enum1 ::= ENUMERATED { red(5), ...,
+		green(7), blue(6)	-- order is not maintained after ...
+		}
+
+END
diff --git a/tests/07-int-OK.asn1 b/tests/07-int-OK.asn1
new file mode 100644
index 00000000..bf596273
--- /dev/null
+++ b/tests/07-int-OK.asn1
@@ -0,0 +1,26 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .7
+
+ModuleTestInt1
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 7 }
+	DEFINITIONS ::=
+BEGIN
+
+	int123456 INTEGER ::= 123456
+
+	Interval ::= INTEGER (1..int123456)
+
+	SameInterval INTEGER ::= { 1 | 2 | 3 | 4 | 5 | 6 }
+
+	Reason ::= INTEGER {
+			no-reason(0),
+			negative-reason(-10),
+			some-large-value(1324324)
+		}
+
+END
diff --git a/tests/08-int-SE.asn1 b/tests/08-int-SE.asn1
new file mode 100644
index 00000000..8ff97fdf
--- /dev/null
+++ b/tests/08-int-SE.asn1
@@ -0,0 +1,19 @@
+
+-- OK: Semantic Error
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .8
+
+ModuleTestInt2
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 8 }
+	DEFINITIONS ::=
+BEGIN
+
+	Reason ::= INTEGER {
+			value1(0),
+			value1(2)	-- identifiers must be distinct --
+		}
+
+END
diff --git a/tests/09-int-SE.asn1 b/tests/09-int-SE.asn1
new file mode 100644
index 00000000..c696e19e
--- /dev/null
+++ b/tests/09-int-SE.asn1
@@ -0,0 +1,20 @@
+
+-- OK: Semantic Error
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .9
+
+ModuleTestInt3
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 9 }
+	DEFINITIONS ::=
+BEGIN
+
+	Reason ::= INTEGER {
+			value1(1),
+			value5(5),
+			value2-1(1)	-- integers must be distinct --
+		}
+
+END
diff --git a/tests/10-int-OK.asn1 b/tests/10-int-OK.asn1
new file mode 100644
index 00000000..c17265fc
--- /dev/null
+++ b/tests/10-int-OK.asn1
@@ -0,0 +1,29 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .10
+
+ModuleTestInt4
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 10 }
+	DEFINITIONS ::=
+BEGIN
+
+	alpha INTEGER ::= 1
+	Type1 ::= INTEGER { alpha(2) }
+	Type2 ::= INTEGER { alpha(3), beta(alpha) }
+	gamma Type2 ::= beta	-- equals 1 --
+	delta Type2 ::= alpha	-- equals 3 --
+
+	/*
+	 *  The following are for post-fix checking by the check_fixer.
+	 * It will be able to pick-up these values if the file is parseable,
+	 * even if it contains some semantic errors.
+	 */
+
+	check-gamma INTEGER ::= 1	-- check "gamma"'s value
+	check-delta INTEGER ::= 3	-- check "delta"'s value
+
+END
diff --git a/tests/11-int-SE.asn1 b/tests/11-int-SE.asn1
new file mode 100644
index 00000000..57978d7d
--- /dev/null
+++ b/tests/11-int-SE.asn1
@@ -0,0 +1,18 @@
+
+-- OK: Semantic Error
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .11
+
+ModuleTestInt5
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 11 }
+	DEFINITIONS ::=
+BEGIN
+
+	-- recursive definition loop
+	alpha INTEGER ::= beta
+	beta INTEGER ::= alpha
+
+END
diff --git a/tests/12-int-SE.asn1 b/tests/12-int-SE.asn1
new file mode 100644
index 00000000..90939b62
--- /dev/null
+++ b/tests/12-int-SE.asn1
@@ -0,0 +1,17 @@
+
+-- OK: Semantic Error
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .12
+
+ModuleTestInt6
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 12 }
+	DEFINITIONS ::=
+BEGIN
+
+	-- unresolved reference
+	alpha INTEGER ::= beta
+
+END
diff --git a/tests/13-resolver-OK.asn1 b/tests/13-resolver-OK.asn1
new file mode 100644
index 00000000..5237b011
--- /dev/null
+++ b/tests/13-resolver-OK.asn1
@@ -0,0 +1,47 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .13 1
+-- .13 2
+
+ModuleTestResolver1
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 13 1 }
+	DEFINITIONS ::=
+BEGIN
+	IMPORTS IntegerType, beta FROM
+		Renamed
+		{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+			spelio(9363) software(1) asn1c(5) test(1) 13 2 };
+
+	-- external reference
+	alpha IntegerType ::= beta
+	alpha2 Renamed.IntegerType ::= beta
+
+	-- 
+	-- The following are for post-fix checking by the check_fixer.
+	-- It will be able to pick-up these values if the file is parseable,
+	-- even if it contains some semantic errors.
+	-- 
+
+	check-alpha INTEGER ::= 123
+	check-alpha2 INTEGER ::= 123
+
+END
+
+ModuleTestResolver2
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 13 2 }
+	DEFINITIONS ::=
+BEGIN
+	EXPORTS beta, IntegerType ;
+
+	beta HiddenType ::= 123
+
+	HiddenType ::= INTEGER
+
+	IntegerType ::= INTEGER
+
+END
diff --git a/tests/14-resolver-OK.asn1 b/tests/14-resolver-OK.asn1
new file mode 100644
index 00000000..48fb0cc3
--- /dev/null
+++ b/tests/14-resolver-OK.asn1
@@ -0,0 +1,45 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .14 1
+-- .14 2
+
+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
+		OtherModuleRenamed
+		{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+			spelio(9363) software(1) asn1c(5) test(1) 14 2 };
+
+	-- external reference
+	alpha Enumeration ::= beta
+
+	-- 
+	-- The following are for post-fix checking by the check_fixer.
+	-- It will be able to pick-up these values if the file is parseable,
+	-- even if it contains some semantic errors.
+	-- 
+
+	check-alpha INTEGER ::= 2
+
+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
+	EXPORTS Enumeration, beta ;
+
+	beta HiddenEnum ::= b
+
+	HiddenEnum ::= ENUMERATED { a(1), b(2) }
+
+	Enumeration ::= ENUMERATED { a(1), b(2) }	-- the same type --
+
+END
diff --git a/tests/15-resolver-SE.asn1 b/tests/15-resolver-SE.asn1
new file mode 100644
index 00000000..f4255c89
--- /dev/null
+++ b/tests/15-resolver-SE.asn1
@@ -0,0 +1,35 @@
+
+-- SE: Semantic error
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .15 1
+-- .15 2
+
+ModuleTestResolver4
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 15 1 }
+	DEFINITIONS ::=
+BEGIN
+	IMPORTS Enumeration, beta FROM
+		OtherModuleRenamed
+		{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+			spelio(9363) software(1) asn1c(5) test(1) 15 2 };
+
+	-- external reference
+	alpha Enumeration ::= beta
+
+END
+
+ModuleTestResolver5
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 15 2 }
+	DEFINITIONS ::=
+BEGIN
+	EXPORTS;	-- Does not export anything!
+
+	beta Enumeration ::= b
+
+	Enumeration ::= ENUMERATED { a(1), b(2) }
+
+END
diff --git a/tests/16-constraint-OK.asn1 b/tests/16-constraint-OK.asn1
new file mode 100644
index 00000000..5625d7fd
--- /dev/null
+++ b/tests/16-constraint-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)
+-- .16
+
+ModuleTestConstraint
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 16 }
+	DEFINITIONS ::=
+BEGIN
+
+	-- external reference
+	Type1 ::= IA5String (SIZE(1..10,...))(FROM("a".."z"|"#"))
+	Type2 ::= IA5String (SIZE (MIN..4)|FROM ("abc"))
+	Type3 ::= BMPString (SIZE(1))
+	Type4 ::= INTEGER (1..MAX)
+	Type5 ::= BOOLEAN (TRUE|FALSE)
+
+	v1 Type1 ::= "#value wi
+		th ""double quotes"""
+END
diff --git a/tests/17-tags-OK.asn1 b/tests/17-tags-OK.asn1
new file mode 100644
index 00000000..40f9c07e
--- /dev/null
+++ b/tests/17-tags-OK.asn1
@@ -0,0 +1,24 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .17
+
+ModuleTestTags
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 17 }
+	DEFINITIONS ::=
+BEGIN
+
+	T3 ::= [3] IMPLICIT T2
+	T1 ::= [1] INTEGER
+	T2 ::= [2] EXPLICIT T1
+
+	T4 ::= [APPLICATION 1] SET {
+			t1	[4] IMPLICIT T1,
+			t2	[5] T2,
+			t3	[6] T3
+		}
+
+END
diff --git a/tests/18-class-OK.asn1 b/tests/18-class-OK.asn1
new file mode 100644
index 00000000..edae8566
--- /dev/null
+++ b/tests/18-class-OK.asn1
@@ -0,0 +1,36 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .18
+
+ModuleTestClass
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 18 }
+	DEFINITIONS ::=
+BEGIN
+
+	AlphaNumeric ::= IA5String (FROM ("A".."Z"|"a".."z"|"0".."9"))
+
+	FUNCTION ::= CLASS {
+		&code			INTEGER (0..MAX) UNIQUE,
+		&Alphabet		IA5String DEFAULT {AlphaNumeric},
+		&ArgType		,
+		&SupportedArguments	&ArgType OPTIONAL,
+		&ResultType		DEFAULT NULL,
+		&result-if-error	&ResultType DEFAULT NULL,
+		&associated-function	FUNCTION OPTIONAL
+	}
+
+	operator-plus FUNCTION ::= {
+		&ArgType		Pair,
+		&SupportedArguments	{ PosPair | NegPair }
+		&ResultType		INTEGER,
+		&result-if-error	0,
+		&code			1
+	}
+
+	FunctionCodeType ::= FUNCTION.&code
+
+END
diff --git a/tests/19-param-OK.asn1 b/tests/19-param-OK.asn1
new file mode 100644
index 00000000..37d7c448
--- /dev/null
+++ b/tests/19-param-OK.asn1
@@ -0,0 +1,30 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .19
+
+ModuleTestParam
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 19 }
+	DEFINITIONS ::=
+BEGIN
+
+	SIGNED { ToBeSigned } ::= SEQUENCE {
+		toBeSigned	ToBeSigned,
+		algorithm	OBJECT IDENTIFIER,
+		signature	BIT STRING
+	}
+
+	Certificate ::= SIGNED { SEQUENCE {
+		version		INTEGER,
+		signature	OBJECT IDENTIFIER,
+		issuer		Name
+	} }
+
+	Name ::= SEQUENCE OF RelativeDistinguishedName
+
+	RelativeDistinguishedName ::= SET SIZE (1..MAX) OF IA5String
+
+END
diff --git a/tests/20-constr-OK.asn1 b/tests/20-constr-OK.asn1
new file mode 100644
index 00000000..f2a97f06
--- /dev/null
+++ b/tests/20-constr-OK.asn1
@@ -0,0 +1,30 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .20
+
+ModuleTestConstr
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 20 }
+	DEFINITIONS IMPLICIT TAGS EXTENSIBILITY IMPLIED ::=
+BEGIN
+
+	ConstructedType1 ::= SEQUENCE {
+				a	[1] INTEGER,
+				b	[2] INTEGER,
+				...!ex1,
+				c	IA5String,
+				...,
+				d	UTF8String
+			}
+
+	ConstructedType2 ::= SET {
+				a	[1] INTEGER,
+				b	[2] INTEGER
+			}
+
+	ex1 INTEGER ::= 1
+
+END
diff --git a/tests/21-tags-OK.asn1 b/tests/21-tags-OK.asn1
new file mode 100644
index 00000000..3a46c325
--- /dev/null
+++ b/tests/21-tags-OK.asn1
@@ -0,0 +1,34 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .21 1
+-- .21 2
+
+ModuleTestTags1
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 21 1 }
+	DEFINITIONS EXPLICIT TAGS ::=
+BEGIN
+
+	T1 ::= CHOICE {
+			first	[0] INTEGER,
+			second	[1] INTEGER
+		}
+
+END
+
+ModuleTestTags2
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 21 2 }
+	DEFINITIONS IMPLICIT TAGS ::=
+BEGIN
+	IMPORTS T1 FROM ModuleTestTags1;
+
+	T2 ::= SEQUENCE {
+			one	[0] T1,
+			two	[1] IA5String
+		}
+
+END
diff --git a/tests/22-tags-OK.asn1 b/tests/22-tags-OK.asn1
new file mode 100644
index 00000000..562e14b4
--- /dev/null
+++ b/tests/22-tags-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)
+-- .22
+
+ModuleTestTags3
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 22 }
+	DEFINITIONS AUTOMATIC TAGS ::=
+BEGIN
+
+	T1 ::= SEQUENCE {
+		a INTEGER,
+		b CHOICE {
+				i INTEGER,
+				n IA5String
+			},
+		c UTF8String
+	}
+
+END
diff --git a/tests/23-bits-OK.asn1 b/tests/23-bits-OK.asn1
new file mode 100644
index 00000000..f41b923d
--- /dev/null
+++ b/tests/23-bits-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)
+-- .23
+
+ModuleTestBitString
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 23 }
+	DEFINITIONS AUTOMATIC TAGS ::=
+BEGIN
+
+	v28 INTEGER ::= 28
+
+	BS1	::= BIT STRING { first(0), third(2), twenty-eight(v28) }
+
+	one-zero-one BS1 ::= { first, third }	-- Equivalent to '101'B
+
+	one0one BS1 ::= '1010000'B		-- Equivalent to '101'B
+
+END
diff --git a/tests/24-sequence-OK.asn1 b/tests/24-sequence-OK.asn1
new file mode 100644
index 00000000..851ebf0d
--- /dev/null
+++ b/tests/24-sequence-OK.asn1
@@ -0,0 +1,21 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .24
+
+ModuleTestSequence
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 24 }
+	DEFINITIONS IMPLICIT TAGS ::=
+BEGIN
+
+	T ::= [5] EXPLICIT SEQUENCE {
+		a		INTEGER,
+		b [0]		INTEGER OPTIONAL,
+		c [1]		INTEGER DEFAULT 10,
+		d [5] EXPLICIT	INTEGER
+		}
+
+END
diff --git a/tests/25-misc-OK.asn1 b/tests/25-misc-OK.asn1
new file mode 100644
index 00000000..3a7eb917
--- /dev/null
+++ b/tests/25-misc-OK.asn1
@@ -0,0 +1,29 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .25
+
+ModuleTestMisc
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 25 }
+	DEFINITIONS IMPLICIT TAGS ::=
+BEGIN
+
+	T ::= SEQUENCE {
+		a	INTEGER,
+		b [2]	BOOLEAN,
+		c	NULL,
+		...,
+		d	ENUMERATED {
+				a(1), b(2)
+				},
+		e	OCTET STRING,
+		f 	OCTET STRING,
+		g	BIT STRING,
+		h	BIT STRING,
+		...
+	}
+
+END
diff --git a/tests/26-sequence-SE.asn1 b/tests/26-sequence-SE.asn1
new file mode 100644
index 00000000..8c5866ae
--- /dev/null
+++ b/tests/26-sequence-SE.asn1
@@ -0,0 +1,20 @@
+
+-- SE: Semantic error
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .26
+
+ModuleTestSequenceTagsDistinct
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 26 }
+	DEFINITIONS IMPLICIT TAGS ::=
+BEGIN
+
+	T ::= SEQUENCE {
+		a INTEGER,
+		b INTEGER	OPTIONAL,
+		c INTEGER
+	}
+
+END
diff --git a/tests/27-set-SE.asn1 b/tests/27-set-SE.asn1
new file mode 100644
index 00000000..91e56973
--- /dev/null
+++ b/tests/27-set-SE.asn1
@@ -0,0 +1,21 @@
+
+-- SE: Semantic error
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .27
+
+ModuleTestSetTagsDistinct
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 27 }
+	DEFINITIONS IMPLICIT TAGS ::=
+BEGIN
+
+	T ::= SET {
+		a INTEGER,
+		b CHOICE {		-- Could we lookup tag past CHOICE?..
+			c INTEGER	-- Tags must be distinct here.
+		}
+	}
+
+END
diff --git a/tests/28-tags-SE.asn1 b/tests/28-tags-SE.asn1
new file mode 100644
index 00000000..b3af0e3e
--- /dev/null
+++ b/tests/28-tags-SE.asn1
@@ -0,0 +1,26 @@
+
+-- SE: Semantic error
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .28
+
+ModuleTestTagsDistinct
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 28 }
+	DEFINITIONS IMPLICIT TAGS ::=
+BEGIN
+
+	S ::= SET {
+		a INTEGER,
+		b CHOICE {
+			c IA5String,
+			...
+		},
+		d CHOICE {
+			e BOOLEAN,
+			...
+		}
+	}
+
+END
diff --git a/tests/29-tags-OK.asn1 b/tests/29-tags-OK.asn1
new file mode 100644
index 00000000..440f16c9
--- /dev/null
+++ b/tests/29-tags-OK.asn1
@@ -0,0 +1,26 @@
+
+-- OK: Everything is fin
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .29
+
+ModuleTestTagsDistinct2
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 29 }
+	DEFINITIONS AUTOMATIC TAGS ::=
+BEGIN
+
+	S ::= SET {
+		a INTEGER,
+		b CHOICE {
+			c IA5String,
+			...
+		},
+		d CHOICE {
+			e BOOLEAN,
+			...
+		}
+	}
+
+END
diff --git a/tests/30-set-OK.asn1 b/tests/30-set-OK.asn1
new file mode 100644
index 00000000..2cd6a5a4
--- /dev/null
+++ b/tests/30-set-OK.asn1
@@ -0,0 +1,21 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .30
+
+ModuleTestSetSimple
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 30 }
+	DEFINITIONS IMPLICIT TAGS ::=
+BEGIN
+
+	T ::= SET {
+		a [APPLICATION 3] INTEGER,
+		b IA5String,
+		...,
+		c [2] BOOLEAN
+	}
+
+END
diff --git a/tests/31-set-of-OK.asn1 b/tests/31-set-of-OK.asn1
new file mode 100644
index 00000000..cd108ba0
--- /dev/null
+++ b/tests/31-set-of-OK.asn1
@@ -0,0 +1,21 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .31
+
+ModuleTestSetOfSimple
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 31 }
+	DEFINITIONS IMPLICIT TAGS ::=
+BEGIN
+
+	Forest ::= SET OF Tree
+
+	Tree ::= SEQUENCE {
+		height	INTEGER,
+		width	INTEGER
+	}
+
+END
diff --git a/tests/32-sequence-of-OK.asn1 b/tests/32-sequence-of-OK.asn1
new file mode 100644
index 00000000..ced163af
--- /dev/null
+++ b/tests/32-sequence-of-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)
+-- .32
+
+ModuleTestSequenceSimple
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 32 }
+	DEFINITIONS IMPLICIT TAGS ::=
+BEGIN
+
+	Programming ::= SEQUENCE OF Fault
+
+	Fault ::= SET OF Error
+
+	Error ::= SEQUENCE {
+			...
+		}
+
+END
diff --git a/tests/33-misc-OK.asn1 b/tests/33-misc-OK.asn1
new file mode 100644
index 00000000..1018a40c
--- /dev/null
+++ b/tests/33-misc-OK.asn1
@@ -0,0 +1,33 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .33
+
+ModuleTestMiscComplex
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 33 }
+	DEFINITIONS IMPLICIT TAGS ::=
+BEGIN
+
+	T ::= SEQUENCE {
+		a [1] INTEGER,
+		...,
+		b [2] EXPLICIT 	BitString,
+		c [8] IMPLICIT  Label,
+		d [10] IMPLICIT Int,
+		e [12] T2
+	}
+
+	BitString ::= [8] BIT STRING
+
+	Label	::= [9] EXPLICIT UTF8String
+
+	Label2	::= [1] Label
+
+	Int	::= [3] IMPLICIT INTEGER { a(1), b(2) }
+
+	T2	::= SEQUENCE { l Label2 }
+
+END
diff --git a/tests/34-class-OK.asn1 b/tests/34-class-OK.asn1
new file mode 100644
index 00000000..b2d4dffd
--- /dev/null
+++ b/tests/34-class-OK.asn1
@@ -0,0 +1,51 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .34
+
+ModuleTestClassSimple
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 34 }
+	DEFINITIONS IMPLICIT TAGS ::=
+BEGIN
+
+	-- First CLASS
+
+	EXTENSION ::= CLASS {
+		&id	OBJECT IDENTIFIER UNIQUE,
+		&ExtnType
+	} WITH SYNTAX {
+		SYNTAX		&ExtnType
+		IDENTIFIED BY	&id
+	}
+
+	-- Basic CLASS extraction
+	Ext1	::= SEQUENCE {
+			extnId	EXTENSION.&id
+		}
+
+	-- Second CLASS
+
+	EXTENSION-ATTRIBUTE ::= CLASS {
+		&id	INTEGER (0..ub-extension-attributes) UNIQUE,
+		&Type
+	} WITH SYNTAX {&Type IDENTIFIED BY &id}
+
+	terminal-type EXTENSION-ATTRIBUTE ::= {TerminalType IDENTIFIED BY 23}
+
+	-- Advanced CLASS extraction
+
+	ExtensionAttribute ::= SEQUENCE {
+		extension-attribute-type [0] EXTENSION-ATTRIBUTE.&id
+				({ExtensionAttributeTable}),
+		extension-attribute-value [1] EXTENSION-ATTRIBUTE.&Type
+			({ExtensionAttributeTable} {@extension-attribute-type})
+	}
+
+	-- Variables referenced by subtype constraints
+
+	ub-extension-attributes INTEGER ::= 256
+
+END
diff --git a/tests/35-set-choice-OK.asn1 b/tests/35-set-choice-OK.asn1
new file mode 100644
index 00000000..36780213
--- /dev/null
+++ b/tests/35-set-choice-OK.asn1
@@ -0,0 +1,36 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .35
+
+ModuleTestSetAndUntaggedChoice
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 35 }
+	DEFINITIONS ::=
+BEGIN
+
+	T ::= SET {
+		a NumericString,
+		b CHOICE {			-- Untagged choice
+			b1  IA5String,
+			b2  ObjectDescriptor,
+			b3  Choice
+		},
+		c BOOLEAN,
+		...,
+		d OID
+	}
+
+	Choice ::= CHOICE {			-- One more level
+		ch-a OCTET STRING,
+		ch-b BIT STRING
+	}
+
+	OID ::= CHOICE {
+		oid OBJECT IDENTIFIER,
+		r-oid RELATIVE-OID
+	}
+
+END
diff --git a/tests/36-indirect-choice-SE.asn1 b/tests/36-indirect-choice-SE.asn1
new file mode 100644
index 00000000..8fcb07b6
--- /dev/null
+++ b/tests/36-indirect-choice-SE.asn1
@@ -0,0 +1,25 @@
+
+-- SE: Semantic Error
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .36
+
+ModuleTestIndirectChoiceError
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 36 }
+	DEFINITIONS ::=
+BEGIN
+
+	T ::= CHOICE {
+		t-a  INTEGER,
+		t-b  OCTET STRING,
+		t-c  Choice
+	}
+
+	Choice ::= CHOICE {			-- One more level
+		c-a OCTET STRING,
+		c-b INTEGER
+	}
+
+END
diff --git a/tests/37-indirect-choice-OK.asn1 b/tests/37-indirect-choice-OK.asn1
new file mode 100644
index 00000000..b0361c46
--- /dev/null
+++ b/tests/37-indirect-choice-OK.asn1
@@ -0,0 +1,32 @@
+
+-- OK: Everything is Fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .37
+
+ModuleTestIndirectChoiceFine
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 37 }
+	DEFINITIONS ::=
+BEGIN
+
+	T ::= CHOICE {
+		t-a  INTEGER,
+		t-b  OCTET STRING,
+		t-c  [1] Choice1,
+		t-d  Choice2
+	}
+
+	Choice1 ::= CHOICE {
+		c-a OCTET STRING,
+		c-b INTEGER
+	}
+
+	Choice2 ::= [2] CHOICE {
+		c-a OCTET STRING,
+		c-b INTEGER,
+		c-d [3] Choice1
+	}
+
+END
diff --git a/tests/38-comments-OK.asn1 b/tests/38-comments-OK.asn1
new file mode 100644
index 00000000..f2f9aab5
--- /dev/null
+++ b/tests/38-comments-OK.asn1
@@ -0,0 +1,33 @@
+
+-- OK: Everything is Fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .38
+
+ModuleNestedCTypeComments
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 38 }
+	DEFINITIONS ::=
+BEGIN
+
+	T ::= CHOICE {
+		t-a  INTEGER,
+		t-b  OCTET STRING
+/*		t-c  [1] Choice1, t-d  Choice2 */
+	}
+
+	-- this is a comment too -- This-Is-Not-A-Comment
+	::= INTEGER
+
+/*
+	ISO/IEC 8824-1 #11.6.4
+
+	blah blah blah
+	/* nested comment */
+	-- this is an insignificant coment
+	-- this is a comment too -- and this is a comment
+
+ */
+
+END
diff --git a/tests/39-sequence-of-OK.asn1 b/tests/39-sequence-of-OK.asn1
new file mode 100644
index 00000000..b8ac3f4a
--- /dev/null
+++ b/tests/39-sequence-of-OK.asn1
@@ -0,0 +1,24 @@
+
+-- OK: Everything is Fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .39
+
+ModuleNestedSequenceOf
+	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 39 }
+	DEFINITIONS ::=
+BEGIN
+
+	T ::= SEQUENCE {
+		int	INTEGER,
+		collection	SEQUENCE OF T2
+	}
+
+	T2 ::= SEQUENCE {
+		flag	BOOLEAN,
+		str	UTF8String
+	}
+
+END
diff --git a/tests/39-sequence-of-OK.asn1.-P b/tests/39-sequence-of-OK.asn1.-P
new file mode 100644
index 00000000..afadff7b
--- /dev/null
+++ b/tests/39-sequence-of-OK.asn1.-P
@@ -0,0 +1,171 @@
+
+/*** <<< DEPS [T] >>> ***/
+
+/* Dependencies for T */
+#include <INTEGER.h>
+
+/* Dependencies for collection */
+#include <T2.h>
+#include <asn_SEQUENCE_OF.h>
+
+	#include <constr_SEQUENCE_OF.h>
+#include <constr_SEQUENCE.h>
+
+extern asn1_TYPE_descriptor_t asn1_DEF_T;
+
+/*** <<< TYPE-DECLS [T] >>> ***/
+
+
+typedef struct T {
+	INTEGER_t	 int;
+	struct collection {
+		A_SEQUENCE_OF(struct T2) list;
+		
+		/* Context for parsing across buffer boundaries */
+		ber_dec_ctx_t _ber_dec_ctx;
+	} collection;
+	
+	/* Context for parsing across buffer boundaries */
+	ber_dec_ctx_t _ber_dec_ctx;
+} T_t;
+
+/*** <<< STAT-DEFS [T] >>> ***/
+
+	static asn1_SET_OF_element_t asn1_DEF_collection_elements[] = {
+		{ (ASN_TAG_CLASS_UNIVERSAL | (16 << 2)),
+			(void *)&asn1_DEF_T2 },
+	};
+	static ber_tlv_tag_t asn1_DEF_collection_tags[] = {
+		(ASN_TAG_CLASS_UNIVERSAL | (16 << 2))
+	};
+	static asn1_SET_OF_specifics_t asn1_DEF_collection_specs = {
+		sizeof(struct collection),
+		offsetof(struct collection, _ber_dec_ctx),
+		asn1_DEF_collection_elements
+	};
+	asn1_TYPE_descriptor_t asn1_DEF_collection = {
+		"collection",
+		SEQUENCE_OF_constraint,
+		SEQUENCE_OF_decode_ber,
+		SEQUENCE_OF_encode_der,
+		SEQUENCE_OF_print,
+		SEQUENCE_OF_free,
+		0,	/* Use generic outmost tag fetcher */
+		asn1_DEF_collection_tags,
+		sizeof(asn1_DEF_collection_tags)
+			/sizeof(asn1_DEF_collection_tags[0]),
+		0,	/* Tags to skip */
+		1,	/* Whether CONSTRUCTED */
+		&asn1_DEF_collection_specs	/* Additional specs */
+	};
+	
+#include <constr_SEQUENCE.h>
+
+static asn1_SEQUENCE_element_t asn1_DEF_T_elements[] = {
+	{ offsetof(struct T, int), 0,
+		(ASN_TAG_CLASS_UNIVERSAL | (2 << 2)),
+		0,
+		(void *)&asn1_DEF_INTEGER,
+		"int"
+		},
+	{ offsetof(struct T, collection), 0,
+		(ASN_TAG_CLASS_UNIVERSAL | (16 << 2)),
+		0,
+		(void *)&asn1_DEF_collection,
+		"collection"
+		},
+};
+static ber_tlv_tag_t asn1_DEF_T_tags[] = {
+	(ASN_TAG_CLASS_UNIVERSAL | (16 << 2))
+};
+static asn1_SEQUENCE_specifics_t asn1_DEF_T_specs = {
+	sizeof(struct T),
+	offsetof(struct T, _ber_dec_ctx),
+	asn1_DEF_T_elements,
+	2,	/* Elements count */
+	-1,	/* Start extensions */
+	-1	/* Stop extensions */
+};
+asn1_TYPE_descriptor_t asn1_DEF_T = {
+	"T",
+	SEQUENCE_constraint,
+	SEQUENCE_decode_ber,
+	SEQUENCE_encode_der,
+	SEQUENCE_print,
+	SEQUENCE_free,
+	0,	/* Use generic outmost tag fetcher */
+	asn1_DEF_T_tags,
+	sizeof(asn1_DEF_T_tags)
+		/sizeof(asn1_DEF_T_tags[0]),
+	0,	/* Tags to skip */
+	1,	/* Whether CONSTRUCTED */
+	&asn1_DEF_T_specs	/* Additional specs */
+};
+
+
+/*** <<< DEPS [T2] >>> ***/
+
+/* Dependencies for T2 */
+#include <BOOLEAN.h>
+#include <UTF8String.h>
+
+#include <constr_SEQUENCE.h>
+
+extern asn1_TYPE_descriptor_t asn1_DEF_T2;
+
+/*** <<< TYPE-DECLS [T2] >>> ***/
+
+
+typedef struct T2 {
+	BOOLEAN_t	 flag;
+	UTF8String_t	 str;
+	
+	/* Context for parsing across buffer boundaries */
+	ber_dec_ctx_t _ber_dec_ctx;
+} T2_t;
+
+/*** <<< STAT-DEFS [T2] >>> ***/
+
+#include <constr_SEQUENCE.h>
+
+static asn1_SEQUENCE_element_t asn1_DEF_T2_elements[] = {
+	{ offsetof(struct T2, flag), 0,
+		(ASN_TAG_CLASS_UNIVERSAL | (1 << 2)),
+		0,
+		(void *)&asn1_DEF_BOOLEAN,
+		"flag"
+		},
+	{ offsetof(struct T2, str), 0,
+		(ASN_TAG_CLASS_UNIVERSAL | (12 << 2)),
+		0,
+		(void *)&asn1_DEF_UTF8String,
+		"str"
+		},
+};
+static ber_tlv_tag_t asn1_DEF_T2_tags[] = {
+	(ASN_TAG_CLASS_UNIVERSAL | (16 << 2))
+};
+static asn1_SEQUENCE_specifics_t asn1_DEF_T2_specs = {
+	sizeof(struct T2),
+	offsetof(struct T2, _ber_dec_ctx),
+	asn1_DEF_T2_elements,
+	2,	/* Elements count */
+	-1,	/* Start extensions */
+	-1	/* Stop extensions */
+};
+asn1_TYPE_descriptor_t asn1_DEF_T2 = {
+	"T2",
+	SEQUENCE_constraint,
+	SEQUENCE_decode_ber,
+	SEQUENCE_encode_der,
+	SEQUENCE_print,
+	SEQUENCE_free,
+	0,	/* Use generic outmost tag fetcher */
+	asn1_DEF_T2_tags,
+	sizeof(asn1_DEF_T2_tags)
+		/sizeof(asn1_DEF_T2_tags[0]),
+	0,	/* Tags to skip */
+	1,	/* Whether CONSTRUCTED */
+	&asn1_DEF_T2_specs	/* Additional specs */
+};
+
diff --git a/tests/40-int-optional-SE.asn1 b/tests/40-int-optional-SE.asn1
new file mode 100644
index 00000000..abe10659
--- /dev/null
+++ b/tests/40-int-optional-SE.asn1
@@ -0,0 +1,27 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .40
+
+ModuleTestIntOptional
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 40 }
+	DEFINITIONS ::=
+BEGIN
+
+	T ::= CHOICE {
+		seq SEQUENCE {
+			string	UTF8String,
+			alpha	INTEGER OPTIONAL,
+			beta	INTEGER OPTIONAL
+		},
+		set SET {
+			string	UTF8String,
+			alpha	INTEGER OPTIONAL,
+			beta	INTEGER OPTIONAL
+		}
+	}
+
+END
diff --git a/tests/41-int-optional-OK.asn1 b/tests/41-int-optional-OK.asn1
new file mode 100644
index 00000000..3e091d78
--- /dev/null
+++ b/tests/41-int-optional-OK.asn1
@@ -0,0 +1,27 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .41
+
+ModuleTestIntOptional
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 41 }
+	DEFINITIONS AUTOMATIC TAGS ::=
+BEGIN
+
+	T ::= CHOICE {
+		seq SEQUENCE {
+			string	UTF8String,
+			alpha	INTEGER OPTIONAL,
+			beta	INTEGER OPTIONAL
+		},
+		set SET {
+			string	UTF8String,
+			alpha	INTEGER OPTIONAL,
+			beta	INTEGER OPTIONAL
+		}
+	}
+
+END
diff --git a/tests/42-real-life-OK.asn1 b/tests/42-real-life-OK.asn1
new file mode 100644
index 00000000..33802c21
--- /dev/null
+++ b/tests/42-real-life-OK.asn1
@@ -0,0 +1,67 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .42
+
+ModuleLAPStorage
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 42 }
+	DEFINITIONS EXTENSIBILITY IMPLIED ::=
+BEGIN
+
+	/*
+	 * A package representing a distinguished log line.
+	 * It contains
+	 *  - a digest of that line (actually, a normalized
+	 *    form with bells (\007) in place of variable components),
+	 *  - one or more sets of variable parts (presumably with different
+	 *    acceptability rules).
+	 */
+	LogLine ::= SEQUENCE {
+		line-digest	IA5String,	-- Log line normal form
+		varsets		SEQUENCE (1..MAX) OF VariablePartSet
+	}
+
+	/*
+	 * This package contains a set of variable components of a log line.
+	 * Each variable component may contain one or more "value samples",
+	 * or a range between two samples.
+	 */
+	VariablePartSet ::= SEQUENCE {
+		vparts		SEQUENCE (0..MAX) OF VariablePart, -- {123,321}
+		resolution	ActionItem
+	}
+
+	/*
+	 * A description of a single variable part.
+	 */
+	VariablePart ::= CHOICE {
+		-- A set of acceptable values
+		vset	SET (1..MAX) OF VisibleString,
+		-- A range of acceptable values
+		vrange	SEQUENCE {
+			from	VisibleString,
+			to	VisibleString
+		}
+	}
+
+	/*
+	 * What to do with the log line.
+	 */
+	ActionItem ::= SEQUENCE {
+		accept-as	ENUMERATED {
+			unknown,	-- Action yet unknown.
+			safe,		-- No action, just move on.
+			unsafe,		-- Unsafe message. Inform NOC.
+			...
+		},
+		notify	SEQUENCE {	-- How to notify NOC.
+			critical  BOOLEAN,		-- Emit critical message
+			email	  SET OF VisibleString,	-- Send emails
+			...
+		} OPTIONAL
+	}
+
+END
diff --git a/tests/42-real-life-OK.asn1.-PR b/tests/42-real-life-OK.asn1.-PR
new file mode 100644
index 00000000..bcac56cb
--- /dev/null
+++ b/tests/42-real-life-OK.asn1.-PR
@@ -0,0 +1,569 @@
+
+/*** <<< DEPS [LogLine] >>> ***/
+
+/* Dependencies for LogLine */
+#include <IA5String.h>
+
+/* Dependencies for varsets */
+#include <VariablePartSet.h>
+#include <asn_SEQUENCE_OF.h>
+
+	#include <constr_SEQUENCE_OF.h>
+#include <constr_SEQUENCE.h>
+
+extern asn1_TYPE_descriptor_t asn1_DEF_LogLine;
+
+/*** <<< TYPE-DECLS [LogLine] >>> ***/
+
+
+typedef struct LogLine {
+	IA5String_t	 line_digest;
+	struct varsets {
+		A_SEQUENCE_OF(struct VariablePartSet) list;
+		
+		/* Context for parsing across buffer boundaries */
+		ber_dec_ctx_t _ber_dec_ctx;
+	} varsets;
+	/*
+	 * This type is extensible,
+	 * possible extensions are below.
+	 */
+	
+	/* Context for parsing across buffer boundaries */
+	ber_dec_ctx_t _ber_dec_ctx;
+} LogLine_t;
+
+/*** <<< STAT-DEFS [LogLine] >>> ***/
+
+	static asn1_SET_OF_element_t asn1_DEF_varsets_elements[] = {
+		{ (ASN_TAG_CLASS_UNIVERSAL | (16 << 2)),
+			(void *)&asn1_DEF_VariablePartSet },
+	};
+	static ber_tlv_tag_t asn1_DEF_varsets_tags[] = {
+		(ASN_TAG_CLASS_UNIVERSAL | (16 << 2))
+	};
+	static asn1_SET_OF_specifics_t asn1_DEF_varsets_specs = {
+		sizeof(struct varsets),
+		offsetof(struct varsets, _ber_dec_ctx),
+		asn1_DEF_varsets_elements
+	};
+	asn1_TYPE_descriptor_t asn1_DEF_varsets = {
+		"varsets",
+		SEQUENCE_OF_constraint,
+		SEQUENCE_OF_decode_ber,
+		SEQUENCE_OF_encode_der,
+		SEQUENCE_OF_print,
+		SEQUENCE_OF_free,
+		0,	/* Use generic outmost tag fetcher */
+		asn1_DEF_varsets_tags,
+		sizeof(asn1_DEF_varsets_tags)
+			/sizeof(asn1_DEF_varsets_tags[0]),
+		0,	/* Tags to skip */
+		1,	/* Whether CONSTRUCTED */
+		&asn1_DEF_varsets_specs	/* Additional specs */
+	};
+	
+#include <constr_SEQUENCE.h>
+
+static asn1_SEQUENCE_element_t asn1_DEF_LogLine_elements[] = {
+	{ offsetof(struct LogLine, line_digest), 0,
+		(ASN_TAG_CLASS_UNIVERSAL | (22 << 2)),
+		0,
+		(void *)&asn1_DEF_IA5String,
+		"line-digest"
+		},
+	{ offsetof(struct LogLine, varsets), 0,
+		(ASN_TAG_CLASS_UNIVERSAL | (16 << 2)),
+		0,
+		(void *)&asn1_DEF_varsets,
+		"varsets"
+		},
+};
+static ber_tlv_tag_t asn1_DEF_LogLine_tags[] = {
+	(ASN_TAG_CLASS_UNIVERSAL | (16 << 2))
+};
+static asn1_SEQUENCE_specifics_t asn1_DEF_LogLine_specs = {
+	sizeof(struct LogLine),
+	offsetof(struct LogLine, _ber_dec_ctx),
+	asn1_DEF_LogLine_elements,
+	2,	/* Elements count */
+	1,	/* Start extensions */
+	3	/* Stop extensions */
+};
+asn1_TYPE_descriptor_t asn1_DEF_LogLine = {
+	"LogLine",
+	SEQUENCE_constraint,
+	SEQUENCE_decode_ber,
+	SEQUENCE_encode_der,
+	SEQUENCE_print,
+	SEQUENCE_free,
+	0,	/* Use generic outmost tag fetcher */
+	asn1_DEF_LogLine_tags,
+	sizeof(asn1_DEF_LogLine_tags)
+		/sizeof(asn1_DEF_LogLine_tags[0]),
+	0,	/* Tags to skip */
+	1,	/* Whether CONSTRUCTED */
+	&asn1_DEF_LogLine_specs	/* Additional specs */
+};
+
+
+/*** <<< DEPS [VariablePartSet] >>> ***/
+
+/* Dependencies for VariablePartSet */
+#include <ActionItem.h>
+
+/* Dependencies for vparts */
+#include <VariablePart.h>
+#include <asn_SEQUENCE_OF.h>
+
+	#include <constr_SEQUENCE_OF.h>
+#include <constr_SEQUENCE.h>
+
+extern asn1_TYPE_descriptor_t asn1_DEF_VariablePartSet;
+
+/*** <<< TYPE-DECLS [VariablePartSet] >>> ***/
+
+
+typedef struct VariablePartSet {
+	struct vparts {
+		A_SEQUENCE_OF(struct VariablePart) list;
+		
+		/* Context for parsing across buffer boundaries */
+		ber_dec_ctx_t _ber_dec_ctx;
+	} vparts;
+	ActionItem_t	 resolution;
+	/*
+	 * This type is extensible,
+	 * possible extensions are below.
+	 */
+	
+	/* Context for parsing across buffer boundaries */
+	ber_dec_ctx_t _ber_dec_ctx;
+} VariablePartSet_t;
+
+/*** <<< STAT-DEFS [VariablePartSet] >>> ***/
+
+	static asn1_SET_OF_element_t asn1_DEF_vparts_elements[] = {
+		{ -1 /* Ambiguous tag (CHOICE?) */,
+			(void *)&asn1_DEF_VariablePart },
+	};
+	static ber_tlv_tag_t asn1_DEF_vparts_tags[] = {
+		(ASN_TAG_CLASS_UNIVERSAL | (16 << 2))
+	};
+	static asn1_SET_OF_specifics_t asn1_DEF_vparts_specs = {
+		sizeof(struct vparts),
+		offsetof(struct vparts, _ber_dec_ctx),
+		asn1_DEF_vparts_elements
+	};
+	asn1_TYPE_descriptor_t asn1_DEF_vparts = {
+		"vparts",
+		SEQUENCE_OF_constraint,
+		SEQUENCE_OF_decode_ber,
+		SEQUENCE_OF_encode_der,
+		SEQUENCE_OF_print,
+		SEQUENCE_OF_free,
+		0,	/* Use generic outmost tag fetcher */
+		asn1_DEF_vparts_tags,
+		sizeof(asn1_DEF_vparts_tags)
+			/sizeof(asn1_DEF_vparts_tags[0]),
+		0,	/* Tags to skip */
+		1,	/* Whether CONSTRUCTED */
+		&asn1_DEF_vparts_specs	/* Additional specs */
+	};
+	
+#include <constr_SEQUENCE.h>
+
+static asn1_SEQUENCE_element_t asn1_DEF_VariablePartSet_elements[] = {
+	{ offsetof(struct VariablePartSet, vparts), 0,
+		(ASN_TAG_CLASS_UNIVERSAL | (16 << 2)),
+		0,
+		(void *)&asn1_DEF_vparts,
+		"vparts"
+		},
+	{ offsetof(struct VariablePartSet, resolution), 0,
+		(ASN_TAG_CLASS_UNIVERSAL | (16 << 2)),
+		0,
+		(void *)&asn1_DEF_ActionItem,
+		"resolution"
+		},
+};
+static ber_tlv_tag_t asn1_DEF_VariablePartSet_tags[] = {
+	(ASN_TAG_CLASS_UNIVERSAL | (16 << 2))
+};
+static asn1_SEQUENCE_specifics_t asn1_DEF_VariablePartSet_specs = {
+	sizeof(struct VariablePartSet),
+	offsetof(struct VariablePartSet, _ber_dec_ctx),
+	asn1_DEF_VariablePartSet_elements,
+	2,	/* Elements count */
+	1,	/* Start extensions */
+	3	/* Stop extensions */
+};
+asn1_TYPE_descriptor_t asn1_DEF_VariablePartSet = {
+	"VariablePartSet",
+	SEQUENCE_constraint,
+	SEQUENCE_decode_ber,
+	SEQUENCE_encode_der,
+	SEQUENCE_print,
+	SEQUENCE_free,
+	0,	/* Use generic outmost tag fetcher */
+	asn1_DEF_VariablePartSet_tags,
+	sizeof(asn1_DEF_VariablePartSet_tags)
+		/sizeof(asn1_DEF_VariablePartSet_tags[0]),
+	0,	/* Tags to skip */
+	1,	/* Whether CONSTRUCTED */
+	&asn1_DEF_VariablePartSet_specs	/* Additional specs */
+};
+
+
+/*** <<< DEPS [VariablePart] >>> ***/
+
+
+/* Dependencies for vset */
+#include <VisibleString.h>
+#include <asn_SET_OF.h>
+
+		#include <constr_SET_OF.h>
+		
+/* Dependencies for vrange */
+#include <VisibleString.h>
+#include <VisibleString.h>
+
+		#include <constr_SEQUENCE.h>
+		
+extern asn1_TYPE_descriptor_t asn1_DEF_VariablePart;
+
+/*** <<< TYPE-DECLS [VariablePart] >>> ***/
+
+
+typedef struct VariablePart {
+	enum {
+		VariablePart_PR_NOTHING,	/* No components present */
+		VariablePart_PR_vset,
+		VariablePart_PR_vrange,
+	} present;
+	union {
+		struct vset {
+			A_SET_OF(VisibleString_t) list;
+			
+			/* Context for parsing across buffer boundaries */
+			ber_dec_ctx_t _ber_dec_ctx;
+		} vset;
+		struct vrange {
+			VisibleString_t	 from;
+			VisibleString_t	 to;
+			/*
+			 * This type is extensible,
+			 * possible extensions are below.
+			 */
+			
+			/* Context for parsing across buffer boundaries */
+			ber_dec_ctx_t _ber_dec_ctx;
+		} vrange;
+		/*
+		 * This type is extensible,
+		 * possible extensions are below.
+		 */
+	} choice;
+	
+	/* Context for parsing across buffer boundaries */
+	ber_dec_ctx_t _ber_dec_ctx;
+} VariablePart_t;
+
+/*** <<< STAT-DEFS [VariablePart] >>> ***/
+
+		static asn1_SET_OF_element_t asn1_DEF_vset_elements[] = {
+			{ (ASN_TAG_CLASS_UNIVERSAL | (26 << 2)),
+				(void *)&asn1_DEF_VisibleString },
+		};
+		static ber_tlv_tag_t asn1_DEF_vset_tags[] = {
+			(ASN_TAG_CLASS_UNIVERSAL | (17 << 2))
+		};
+		static asn1_SET_OF_specifics_t asn1_DEF_vset_specs = {
+			sizeof(struct vset),
+			offsetof(struct vset, _ber_dec_ctx),
+			asn1_DEF_vset_elements
+		};
+		asn1_TYPE_descriptor_t asn1_DEF_vset = {
+			"vset",
+			SET_OF_constraint,
+			SET_OF_decode_ber,
+			SET_OF_encode_der,
+			SET_OF_print,
+			SET_OF_free,
+			0,	/* Use generic outmost tag fetcher */
+			asn1_DEF_vset_tags,
+			sizeof(asn1_DEF_vset_tags)
+				/sizeof(asn1_DEF_vset_tags[0]),
+			0,	/* Tags to skip */
+			1,	/* Whether CONSTRUCTED */
+			&asn1_DEF_vset_specs	/* Additional specs */
+		};
+		
+		#include <constr_SEQUENCE.h>
+		
+		static asn1_SEQUENCE_element_t asn1_DEF_vrange_elements[] = {
+			{ offsetof(struct vrange, from), 0,
+				(ASN_TAG_CLASS_UNIVERSAL | (26 << 2)),
+				0,
+				(void *)&asn1_DEF_VisibleString,
+				"from"
+				},
+			{ offsetof(struct vrange, to), 0,
+				(ASN_TAG_CLASS_UNIVERSAL | (26 << 2)),
+				0,
+				(void *)&asn1_DEF_VisibleString,
+				"to"
+				},
+		};
+		static ber_tlv_tag_t asn1_DEF_vrange_tags[] = {
+			(ASN_TAG_CLASS_UNIVERSAL | (16 << 2))
+		};
+		static asn1_SEQUENCE_specifics_t asn1_DEF_vrange_specs = {
+			sizeof(struct vrange),
+			offsetof(struct vrange, _ber_dec_ctx),
+			asn1_DEF_vrange_elements,
+			2,	/* Elements count */
+			1,	/* Start extensions */
+			3	/* Stop extensions */
+		};
+		asn1_TYPE_descriptor_t asn1_DEF_vrange = {
+			"vrange",
+			SEQUENCE_constraint,
+			SEQUENCE_decode_ber,
+			SEQUENCE_encode_der,
+			SEQUENCE_print,
+			SEQUENCE_free,
+			0,	/* Use generic outmost tag fetcher */
+			asn1_DEF_vrange_tags,
+			sizeof(asn1_DEF_vrange_tags)
+				/sizeof(asn1_DEF_vrange_tags[0]),
+			0,	/* Tags to skip */
+			1,	/* Whether CONSTRUCTED */
+			&asn1_DEF_vrange_specs	/* Additional specs */
+		};
+		
+#include <constr_CHOICE.h>
+
+static asn1_CHOICE_element_t asn1_DEF_VariablePart_elements[] = {
+	{ offsetof(struct VariablePart, choice.vset), 0,
+		(ASN_TAG_CLASS_UNIVERSAL | (17 << 2)),
+		0,
+		(void *)&asn1_DEF_vset,
+		"vset"
+		},
+	{ offsetof(struct VariablePart, choice.vrange), 0,
+		(ASN_TAG_CLASS_UNIVERSAL | (16 << 2)),
+		0,
+		(void *)&asn1_DEF_vrange,
+		"vrange"
+		},
+};
+static ber_tlv_tag_t asn1_DEF_VariablePart_tags[] = {
+	
+};
+static asn1_CHOICE_tag2member_t asn1_DEF_VariablePart_tag2el[] = {
+    { (ASN_TAG_CLASS_UNIVERSAL | (16 << 2)), 1 }, /* vrange at 45 */
+    { (ASN_TAG_CLASS_UNIVERSAL | (17 << 2)), 0 }, /* vset at 42 */
+};
+static asn1_CHOICE_specifics_t asn1_DEF_VariablePart_specs = {
+	sizeof(struct VariablePart),
+	offsetof(struct VariablePart, _ber_dec_ctx),
+	offsetof(struct VariablePart, present),
+	sizeof(((struct VariablePart *)0)->present),
+	asn1_DEF_VariablePart_elements,
+	2,	/* Elements count */
+	asn1_DEF_VariablePart_tag2el,
+	2,	/* Count of tags in the map */
+	0	/* Whether extensible */
+};
+asn1_TYPE_descriptor_t asn1_DEF_VariablePart = {
+	"VariablePart",
+	CHOICE_constraint,
+	CHOICE_decode_ber,
+	CHOICE_encode_der,
+	CHOICE_print,
+	CHOICE_free,
+	CHOICE_outmost_tag,
+	asn1_DEF_VariablePart_tags,
+	sizeof(asn1_DEF_VariablePart_tags)
+		/sizeof(asn1_DEF_VariablePart_tags[0]),
+	0,	/* Tags to skip */
+	1,	/* Whether CONSTRUCTED */
+	&asn1_DEF_VariablePart_specs	/* Additional specs */
+};
+
+
+/*** <<< DEPS [ActionItem] >>> ***/
+
+/* Dependencies for ActionItem */
+#include <ENUMERATED.h>
+
+	typedef enum accept_as {
+		accept_as_unknown	= 0,
+		accept_as_safe	= 1,
+		accept_as_unsafe	= 2,
+		/*
+		 * Enumeration is extensible
+		 */
+	} accept_as_e;
+/* Dependencies for notify */
+#include <BOOLEAN.h>
+
+/* Dependencies for email */
+#include <VisibleString.h>
+#include <asn_SET_OF.h>
+
+		#include <constr_SET_OF.h>
+		
+	#include <constr_SEQUENCE.h>
+	
+#include <constr_SEQUENCE.h>
+
+extern asn1_TYPE_descriptor_t asn1_DEF_ActionItem;
+
+/*** <<< TYPE-DECLS [ActionItem] >>> ***/
+
+
+typedef struct ActionItem {
+	ENUMERATED_t	 accept_as;
+	struct notify {
+		BOOLEAN_t	 critical;
+		struct email {
+			A_SET_OF(VisibleString_t) list;
+			
+			/* Context for parsing across buffer boundaries */
+			ber_dec_ctx_t _ber_dec_ctx;
+		} email;
+		/*
+		 * This type is extensible,
+		 * possible extensions are below.
+		 */
+		
+		/* Context for parsing across buffer boundaries */
+		ber_dec_ctx_t _ber_dec_ctx;
+	} *notify;
+	/*
+	 * This type is extensible,
+	 * possible extensions are below.
+	 */
+	
+	/* Context for parsing across buffer boundaries */
+	ber_dec_ctx_t _ber_dec_ctx;
+} ActionItem_t;
+
+/*** <<< STAT-DEFS [ActionItem] >>> ***/
+
+		static asn1_SET_OF_element_t asn1_DEF_email_elements[] = {
+			{ (ASN_TAG_CLASS_UNIVERSAL | (26 << 2)),
+				(void *)&asn1_DEF_VisibleString },
+		};
+		static ber_tlv_tag_t asn1_DEF_email_tags[] = {
+			(ASN_TAG_CLASS_UNIVERSAL | (17 << 2))
+		};
+		static asn1_SET_OF_specifics_t asn1_DEF_email_specs = {
+			sizeof(struct email),
+			offsetof(struct email, _ber_dec_ctx),
+			asn1_DEF_email_elements
+		};
+		asn1_TYPE_descriptor_t asn1_DEF_email = {
+			"email",
+			SET_OF_constraint,
+			SET_OF_decode_ber,
+			SET_OF_encode_der,
+			SET_OF_print,
+			SET_OF_free,
+			0,	/* Use generic outmost tag fetcher */
+			asn1_DEF_email_tags,
+			sizeof(asn1_DEF_email_tags)
+				/sizeof(asn1_DEF_email_tags[0]),
+			0,	/* Tags to skip */
+			1,	/* Whether CONSTRUCTED */
+			&asn1_DEF_email_specs	/* Additional specs */
+		};
+		
+	#include <constr_SEQUENCE.h>
+	
+	static asn1_SEQUENCE_element_t asn1_DEF_notify_elements[] = {
+		{ offsetof(struct notify, critical), 0,
+			(ASN_TAG_CLASS_UNIVERSAL | (1 << 2)),
+			0,
+			(void *)&asn1_DEF_BOOLEAN,
+			"critical"
+			},
+		{ offsetof(struct notify, email), 0,
+			(ASN_TAG_CLASS_UNIVERSAL | (17 << 2)),
+			0,
+			(void *)&asn1_DEF_email,
+			"email"
+			},
+	};
+	static ber_tlv_tag_t asn1_DEF_notify_tags[] = {
+		(ASN_TAG_CLASS_UNIVERSAL | (16 << 2))
+	};
+	static asn1_SEQUENCE_specifics_t asn1_DEF_notify_specs = {
+		sizeof(struct notify),
+		offsetof(struct notify, _ber_dec_ctx),
+		asn1_DEF_notify_elements,
+		2,	/* Elements count */
+		1,	/* Start extensions */
+		3	/* Stop extensions */
+	};
+	asn1_TYPE_descriptor_t asn1_DEF_notify = {
+		"notify",
+		SEQUENCE_constraint,
+		SEQUENCE_decode_ber,
+		SEQUENCE_encode_der,
+		SEQUENCE_print,
+		SEQUENCE_free,
+		0,	/* Use generic outmost tag fetcher */
+		asn1_DEF_notify_tags,
+		sizeof(asn1_DEF_notify_tags)
+			/sizeof(asn1_DEF_notify_tags[0]),
+		0,	/* Tags to skip */
+		1,	/* Whether CONSTRUCTED */
+		&asn1_DEF_notify_specs	/* Additional specs */
+	};
+	
+#include <constr_SEQUENCE.h>
+
+static asn1_SEQUENCE_element_t asn1_DEF_ActionItem_elements[] = {
+	{ offsetof(struct ActionItem, accept_as), 0,
+		(ASN_TAG_CLASS_UNIVERSAL | (10 << 2)),
+		0,
+		(void *)&asn1_DEF_ENUMERATED,
+		"accept-as"
+		},
+	{ offsetof(struct ActionItem, notify), 1,
+		(ASN_TAG_CLASS_UNIVERSAL | (16 << 2)),
+		0,
+		(void *)&asn1_DEF_notify,
+		"notify"
+		},
+};
+static ber_tlv_tag_t asn1_DEF_ActionItem_tags[] = {
+	(ASN_TAG_CLASS_UNIVERSAL | (16 << 2))
+};
+static asn1_SEQUENCE_specifics_t asn1_DEF_ActionItem_specs = {
+	sizeof(struct ActionItem),
+	offsetof(struct ActionItem, _ber_dec_ctx),
+	asn1_DEF_ActionItem_elements,
+	2,	/* Elements count */
+	1,	/* Start extensions */
+	3	/* Stop extensions */
+};
+asn1_TYPE_descriptor_t asn1_DEF_ActionItem = {
+	"ActionItem",
+	SEQUENCE_constraint,
+	SEQUENCE_decode_ber,
+	SEQUENCE_encode_der,
+	SEQUENCE_print,
+	SEQUENCE_free,
+	0,	/* Use generic outmost tag fetcher */
+	asn1_DEF_ActionItem_tags,
+	sizeof(asn1_DEF_ActionItem_tags)
+		/sizeof(asn1_DEF_ActionItem_tags[0]),
+	0,	/* Tags to skip */
+	1,	/* Whether CONSTRUCTED */
+	&asn1_DEF_ActionItem_specs	/* Additional specs */
+};
+
diff --git a/tests/43-recursion-OK.asn1 b/tests/43-recursion-OK.asn1
new file mode 100644
index 00000000..185b8ccb
--- /dev/null
+++ b/tests/43-recursion-OK.asn1
@@ -0,0 +1,26 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .43
+
+ModuleRecursion
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 43 }
+	DEFINITIONS ::=
+BEGIN
+
+	Test-structure-1 ::= SEQUENCE {
+		t-member1 SET OF Test-structure-1,
+		t-member2 SEQUENCE OF Test-structure-1,
+		t-member3 Test-structure-1 OPTIONAL
+	}
+
+	Sets ::= SEQUENCE {
+		s-member1 SET OF INTEGER,
+		s-member2 SET OF ENUMERATED { a, b },
+		s-member3 SET OF IA5String
+	}
+
+END
diff --git a/tests/Makefile.am b/tests/Makefile.am
new file mode 100644
index 00000000..03dda3b3
--- /dev/null
+++ b/tests/Makefile.am
@@ -0,0 +1,2 @@
+
+EXTRA_DIST = *.asn1*
diff --git a/tests/Makefile.in b/tests/Makefile.in
new file mode 100644
index 00000000..a391a53a
--- /dev/null
+++ b/tests/Makefile.in
@@ -0,0 +1,219 @@
+# Makefile.in generated automatically by automake 1.5 from Makefile.am.
+
+# Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001
+# Free Software Foundation, Inc.
+# This Makefile.in is free software; the Free Software Foundation
+# gives unlimited permission to copy and/or distribute it,
+# with or without modifications, as long as this notice is preserved.
+
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY, to the extent permitted by law; without
+# even the implied warranty of MERCHANTABILITY or FITNESS FOR A
+# PARTICULAR PURPOSE.
+
+@SET_MAKE@
+
+SHELL = @SHELL@
+
+srcdir = @srcdir@
+top_srcdir = @top_srcdir@
+VPATH = @srcdir@
+prefix = @prefix@
+exec_prefix = @exec_prefix@
+
+bindir = @bindir@
+sbindir = @sbindir@
+libexecdir = @libexecdir@
+datadir = @datadir@
+sysconfdir = @sysconfdir@
+sharedstatedir = @sharedstatedir@
+localstatedir = @localstatedir@
+libdir = @libdir@
+infodir = @infodir@
+mandir = @mandir@
+includedir = @includedir@
+oldincludedir = /usr/include
+pkgdatadir = $(datadir)/@PACKAGE@
+pkglibdir = $(libdir)/@PACKAGE@
+pkgincludedir = $(includedir)/@PACKAGE@
+top_builddir = ..
+
+ACLOCAL = @ACLOCAL@
+AUTOCONF = @AUTOCONF@
+AUTOMAKE = @AUTOMAKE@
+AUTOHEADER = @AUTOHEADER@
+
+INSTALL = @INSTALL@
+INSTALL_PROGRAM = @INSTALL_PROGRAM@
+INSTALL_DATA = @INSTALL_DATA@
+INSTALL_SCRIPT = @INSTALL_SCRIPT@
+INSTALL_HEADER = $(INSTALL_DATA)
+transform = @program_transform_name@
+NORMAL_INSTALL = :
+PRE_INSTALL = :
+POST_INSTALL = :
+NORMAL_UNINSTALL = :
+PRE_UNINSTALL = :
+POST_UNINSTALL = :
+build_alias = @build_alias@
+build_triplet = @build@
+host_alias = @host_alias@
+host_triplet = @host@
+target_alias = @target_alias@
+target_triplet = @target@
+ADD_CFLAGS = @ADD_CFLAGS@
+AMTAR = @AMTAR@
+AR = @AR@
+AS = @AS@
+AWK = @AWK@
+CC = @CC@
+CONFIGURE_DEPENDS = @CONFIGURE_DEPENDS@
+CPP = @CPP@
+DEPDIR = @DEPDIR@
+DLLTOOL = @DLLTOOL@
+EXEEXT = @EXEEXT@
+INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
+LEX = @LEX@
+LIBTOOL = @LIBTOOL@
+LN_S = @LN_S@
+MAINT = @MAINT@
+OBJDUMP = @OBJDUMP@
+OBJEXT = @OBJEXT@
+PACKAGE = @PACKAGE@
+PATH = @PATH@
+RANLIB = @RANLIB@
+VERSION = @VERSION@
+YACC = @YACC@
+am__include = @am__include@
+am__quote = @am__quote@
+install_sh = @install_sh@
+
+EXTRA_DIST = *.asn1*
+subdir = tests
+mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
+CONFIG_HEADER = $(top_builddir)/config.h
+CONFIG_CLEAN_FILES =
+DIST_SOURCES =
+DIST_COMMON = README Makefile.am Makefile.in
+all: all-am
+
+.SUFFIXES:
+
+mostlyclean-libtool:
+	-rm -f *.lo
+
+clean-libtool:
+	-rm -rf .libs _libs
+
+distclean-libtool:
+	-rm -f libtool
+$(srcdir)/Makefile.in: @MAINTAINER_MODE_TRUE@ Makefile.am  $(top_srcdir)/configure.in $(ACLOCAL_M4)
+	cd $(top_srcdir) && \
+	  $(AUTOMAKE) --gnu  tests/Makefile
+Makefile: @MAINTAINER_MODE_TRUE@ $(srcdir)/Makefile.in  $(top_builddir)/config.status
+	cd $(top_builddir) && \
+	  CONFIG_HEADERS= CONFIG_LINKS= \
+	  CONFIG_FILES=$(subdir)/$@ $(SHELL) ./config.status
+uninstall-info-am:
+tags: TAGS
+TAGS:
+
+
+DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
+
+top_distdir = ..
+distdir = $(top_distdir)/$(PACKAGE)-$(VERSION)
+
+distdir: $(DISTFILES)
+	@for file in $(DISTFILES); do \
+	  if test -f $$file; then d=.; else d=$(srcdir); fi; \
+	  dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \
+	  if test "$$dir" != "$$file" && test "$$dir" != "."; then \
+	    $(mkinstalldirs) "$(distdir)/$$dir"; \
+	  fi; \
+	  if test -d $$d/$$file; then \
+	    cp -pR $$d/$$file $(distdir) \
+	    || exit 1; \
+	  else \
+	    test -f $(distdir)/$$file \
+	    || cp -p $$d/$$file $(distdir)/$$file \
+	    || exit 1; \
+	  fi; \
+	done
+check-am: all-am
+check: check-am
+all-am: Makefile
+
+installdirs:
+
+install: install-am
+install-exec: install-exec-am
+install-data: install-data-am
+uninstall: uninstall-am
+
+install-am: all-am
+	@$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
+
+installcheck: installcheck-am
+install-strip:
+	$(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
+	  `test -z '$(STRIP)' || \
+	    echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
+mostlyclean-generic:
+
+clean-generic:
+
+distclean-generic:
+	-rm -f Makefile $(CONFIG_CLEAN_FILES) stamp-h stamp-h[0-9]*
+
+maintainer-clean-generic:
+	@echo "This command is intended for maintainers to use"
+	@echo "it deletes files that may require special tools to rebuild."
+clean: clean-am
+
+clean-am: clean-generic clean-libtool mostlyclean-am
+
+distclean: distclean-am
+
+distclean-am: clean-am distclean-generic distclean-libtool
+
+dvi: dvi-am
+
+dvi-am:
+
+info: info-am
+
+info-am:
+
+install-data-am:
+
+install-exec-am:
+
+install-info: install-info-am
+
+install-man:
+
+installcheck-am:
+
+maintainer-clean: maintainer-clean-am
+
+maintainer-clean-am: distclean-am maintainer-clean-generic
+
+mostlyclean: mostlyclean-am
+
+mostlyclean-am: mostlyclean-generic mostlyclean-libtool
+
+uninstall-am: uninstall-info-am
+
+.PHONY: all all-am check check-am clean clean-generic clean-libtool \
+	distclean distclean-generic distclean-libtool distdir dvi \
+	dvi-am info info-am install install-am install-data \
+	install-data-am install-exec install-exec-am install-info \
+	install-info-am install-man install-strip installcheck \
+	installcheck-am installdirs maintainer-clean \
+	maintainer-clean-generic mostlyclean mostlyclean-generic \
+	mostlyclean-libtool uninstall uninstall-am uninstall-info-am
+
+# Tell versions [3.59,3.63) of GNU make to not export all variables.
+# Otherwise a system limit (for SysV at least) may be exceeded.
+.NOEXPORT:
diff --git a/tests/README b/tests/README
new file mode 100644
index 00000000..abba3502
--- /dev/null
+++ b/tests/README
@@ -0,0 +1,24 @@
+
+This is a collection of various little ASN.1 modules, used independently
+by several different testing engines below the main tree (i.e. libasn1fix)
+for stressing various aspects of compiler operation.
+
+The files follow certain naming conventions:
+
+Source file:
+	<Index>-<arbitrary-name>-{OK|SE|NP}.asn1
+
+Regenerator test file:
+	<Index>-<arbitrary-name>-{OK|SE|NP}.asn1.[<compiler-flags>]
+
+Where
+	<Index> is arbitrary number (digits)
+	<arbitrary-name> is arbitrary string, without dots
+	OK	file syntax and semantics are absolutely correct
+	SE	file semantics is wrong
+	NP	file syntax is incorrect, file not parseable
+	<cimpiler-flags>	command-line flags for compiler
+
+Example:
+	07-int-OK.asn1		# Correct ASN.1 file
+	07-int-OK.asn1.-EFN	# Test of file regeneration with -EFN flags.