SeqOf DEFINITIONS IMPLICIT TAGS ::= 

BEGIN


Seq1 ::= SEQUENCE 
{
  bool1  BOOLEAN,
  int1  INTEGER,
  seq1  SEQUENCE OF SeqIn DEFAULT {}
}

Seq2 ::= SEQUENCE 
{
  seq2  SEQUENCE OF SeqIn DEFAULT {},
  bool2  BOOLEAN,
  int2  INTEGER
}

Seq3 ::= SEQUENCE 
{
  bool3  BOOLEAN,
  seq3  SEQUENCE OF SeqIn DEFAULT {},
  int3  INTEGER
}

Seq4 ::= SEQUENCE 
{
  seq41 [41] SEQUENCE OF SeqIn DEFAULT {},
  seq42 [42] SEQUENCE OF SeqIn DEFAULT {},
  seq43 [43] SEQUENCE OF SeqIn DEFAULT {}
}



SeqIn ::= SEQUENCE 
{
  boolIn  BOOLEAN,
  intIn  INTEGER
}


SeqOs ::= SEQUENCE OF OCTET STRING
SeqOsImp ::= [23] SEQUENCE OF OCTET STRING
SeqOsExp ::= [24] EXPLICIT SEQUENCE OF OCTET STRING

SeqCho ::= SEQUENCE OF CHOICE {bool BOOLEAN,
                               int INTEGER,
                               last NULL}

SeqOfInt ::= SEQUENCE OF INTEGER




SeqEmp ::= SEQUENCE 
{
  seq1  SEQUENCE OF Empty DEFAULT {}
}

Empty ::= SEQUENCE 
{
}

END