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