DEFINITION MODULE tt;

FROM Goto IMPORT GotoLabel;

EXPORT QUALIFIED t1;

PROCEDURE t1 (e : GotoLabel);

END tt.
