DISPATCHER_SIGHANDLER_ARGS(s, data);
ctk_sighandler(ek_signal_t s, ek_data_t data){  if(s == ctk_signal_timer) {    if(mode == CTK_MODE_NORMAL) {      ++screensaver_timer;      if(screensaver_timer == SCREENSAVER_TIMEOUT) {#ifdef CTK_SCREENSAVER_INIT	CTK_SCREENSAVER_INIT();#endif /* CTK_SCREENSAVER_INIT */	mode = CTK_MODE_SCREENSAVER;	screensaver_timer = 0;      }    }    dispatcher_timer(ctk_signal_timer, data, CLK_TCK);  }}