DEFINITION MODULE AdvIntroduction ;

EXPORT QUALIFIED StartGame ;

PROCEDURE StartGame ;

END AdvIntroduction.