int x11h_init(void);