DEFINITION MODULE AdvCmd ;


EXPORT QUALIFIED ExecuteCommand ;


PROCEDURE ExecuteCommand (ch: CHAR ; VAR Dead: BOOLEAN) ;


END AdvCmd.