extract_dimension 7760 src/window.c     int left = NILP (left_width) ? 0 : extract_dimension (left_width);
extract_dimension 7761 src/window.c     int right = NILP (right_width) ? 0 : extract_dimension (right_width);
extract_dimension 7841 src/window.c         int new_left = extract_dimension (left_width);
extract_dimension 7842 src/window.c         int new_right = extract_dimension (right_width);
extract_dimension 7958 src/window.c         int new_width = extract_dimension (width);
extract_dimension 7988 src/window.c         int new_height = extract_dimension (height);