MissingEnd  DEFINITIONS ::=
BEGIN

T ::= Typ