AA1 DEFINITIONS AUTOMATIC TAGS ::=

BEGIN

IMPORTS
   B
    FROM AA2;

T1 ::= SEQUENCE (SIZE (1..10)) OF B
T2 ::= SEQUENCE (SIZE (1..10)) OF B
T3 ::= SEQUENCE (SIZE (1..10)) OF INTEGER

END