BAD { }

DEFINITIONS IMPLICIT TAGS ::=

BEGIN

Broken ::= SEQUENCE {
   x INTEGER

END