-- OK: Everything is Fine-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)-- .spelio.software.asn1c.test (9363.1.5.1)-- .72ModuleTestSameNames	{ iso org(3) dod(6) internet(1) private(4) enterprise(1)		spelio(9363) software(1) asn1c(5) test(1) 72 }	DEFINITIONS ::=BEGIN	/*	 * This test checks whether different top-level types containing	 * similarly named inner types may be compiled by the target language	 * compiler successfully. This was not the case before asn1c-0.9.11.	 */	Type ::= SET OF SEQUENCE {			t1	Type1,			t2	Type2		}	Type1 ::= SEQUENCE {		one-name CHOICE {			another-name SEQUENCE { a INTEGER, b INTEGER }		}	}	Type2 ::= CHOICE {		one-name SEQUENCE {			another-name SEQUENCE {				a BIT STRING { one(0) } SIZE(2),				b INTEGER			}		},		two-name SET {			another-name SEQUENCE {				a BIT STRING { one(0) } SIZE(2),				b INTEGER			}		}	}END