1NoImport DEFINITIONS AUTOMATIC TAGS ::=
2
3BEGIN
4
5IMPORTS
6  Typ
7  FROM IMP;
8
9
10Seq2 ::= SEQUENCE {
11  a Typ,
12  b INTEGER}
13
14END
15