BadTypeEnding  DEFINITIONS ::=
BEGIN

T ::= Typ;

END