*/
extern int script_feed_event(void *handle, int event_type, int x, int y, int down, unsigned int keycode, double timestamp);
*/
extern int script_feed_event(void *handle, int event_type, int x, int y, int down, unsigned int keycode, double timestamp);