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