IllegalExport  DEFINITIONS ::=
BEGIN
EXPORTS T, KalleAnka;

T ::= INTEGER	

END