SeqBadComma DEFINITIONS AUTOMATIC TAGS ::=

BEGIN

Seq ::= SEQUENCE {
  a INTEGER,
  n BOOLEAN,
}

END