unsigned long vty_c_get_window_size(void);