1AA1 DEFINITIONS AUTOMATIC TAGS ::=
2
3BEGIN
4
5IMPORTS
6   B
7    FROM AA2;
8
9T1 ::= SEQUENCE (SIZE (1..10)) OF B
10T2 ::= SEQUENCE (SIZE (1..10)) OF B
11T3 ::= SEQUENCE (SIZE (1..10)) OF INTEGER
12
13END