char *eventtype(XEvent*); void printevent(XEvent*);