#ifndef WH_X_H_9bcef9a0_
#define WH_X_H_9bcef9a0_

extern void saveargv(int, char **);
extern void setup_X(void);

#endif