change_win_size	 386 utils/vflx11-2.0.1/vflx11.c	 change_win_size();
change_win_size	 347 utils/vflx11-2.0.1/vflx11.c	    change_win_size();