unsigned long c_get_window_size(void);