/*global*/  void execut(void);