MySO DEFINITIONS AUTOMATIC TAGS ::=

BEGIN

IMPORTS
  T
  FROM IMP;


Seq2 ::= SEQUENCE {
  a T,
  b INTEGER}

END