1 871e83a0 2005-07-13 devnull char *eventtype(XEvent*); 2 871e83a0 2005-07-13 devnull void printevent(XEvent*);