		My_Device = fdevno(stderr);
		n = video_get_size( My_Device );
		LINES = (n >> 8) & 0xff;
		COLS = n & 0xff;
