extract_dimension 7777 src/window.c     int left = NILP (left_width) ? 0 : extract_dimension (left_width);
extract_dimension 7778 src/window.c     int right = NILP (right_width) ? 0 : extract_dimension (right_width);
extract_dimension 7858 src/window.c         int new_left = extract_dimension (left_width);
extract_dimension 7859 src/window.c         int new_right = extract_dimension (right_width);
extract_dimension 7975 src/window.c         int new_width = extract_dimension (width);
extract_dimension 8005 src/window.c         int new_height = extract_dimension (height);