void save_x11_host(int play_config, const char *x11_host);
int set_default_x11_host(int win_config=-1);
void default_window_positions(int window_config=0);
void boundaries();
void save_x11_host(int play_config, const char *x11_host);
int set_default_x11_host(int win_config=-1);
void default_window_positions(int window_config=0);
void boundaries();