bug#27761: Crash while using proof-general/company-coq on OS X

[YAMAMOTO Mitsuharu]

>>>>> On Fri, 04 Aug 2017 10:23:15 +0900, YAMAMOTO Mitsuharu 
>>>>> <mituharu@math.s.chiba-u.ac.jp> said:

>> Thanks.  The "charpos = 6" part puzzles me, because the string is
>> only 4 characters long.  What does this produce:

> This would be the length of the string "forall", which is composed
> into "∀" by prettify-symbol-mode (see my another post containing
> screenshots).

I tried setting a breakpoint at the only recursive call to
get_next_display_element and print *it.  The result is shown at the
end of this mail (the line number is slightly different because I used
the Mac port).

Notably, it->what == IT_EOB, it->method == GET_FROM_STRING,
it->stop_charpos == 4, it->current.string_pos.charpos (aka
IT_STRING_CHARPOS (*it)) == 6, it->string is a Lisp string " 164", and
it->face_box_p == false.  Thus, GET_NEXT_DISPLAY_ELEMENT (it) at the
entry of get_next_display_element sets it->what to IT_EOB again in
next_element_from_string, all the top-level conditions in
get_next_display_element become false except the last one, and goes
directly to the recursive call again.

                             YAMAMOTO Mitsuharu
                        mituharu@math.s.chiba-u.ac.jp

* thread #1, queue = 'com.apple.main-thread', stop reason = breakpoint 1.1
    frame #0: 0x000000010003a886 
Emacs`get_next_display_element(it=0x00007fff5fbd9290) at xdisp.c:7330
   7327   if (!success_p && it->sp > 0)
   7328     {
   7329       set_iterator_to_next (it, false);
-> 7330       success_p = get_next_display_element (it);
   7331     }
   7332 
   7333   /* Value is false if end of buffer or string reached.  */
(lldb) p *it
(it) $5 = {
  window = (i = 4362542653)
  w = 0x0000000104071e38
  f = 0x0000000107849838
  method = GET_FROM_STRING
  stop_charpos = 4
  prev_stop = 0
  base_level_stop = 0
  end_charpos = 4
  s = 0x0000000000000000 <no value available>
  string_nchars = 4
  redisplay_end_trigger_charpos = 0
  multibyte_p = false
  header_line_p = false
  string_from_display_prop_p = true
  string_from_prefix_prop_p = false
  from_disp_prop_p = true
  ellipsis_p = false
  avoid_cursor_p = false
  dp = 0x00000001021c7488
  dpvec = 0x0000000000000000
  dpend = 0x0000000000000000
  dpvec_char_len = 0
  dpvec_face_id = 0
  saved_face_id = 23
  ctl_chars = {
    [0] = (i = 0)
    [1] = (i = 0)
    [2] = (i = 0)
    [3] = (i = 0)
    [4] = (i = 0)
    [5] = (i = 0)
    [6] = (i = 0)
    [7] = (i = 0)
    [8] = (i = 0)
    [9] = (i = 0)
    [10] = (i = 0)
    [11] = (i = 0)
    [12] = (i = 0)
    [13] = (i = 0)
    [14] = (i = 0)
    [15] = (i = 0)
  }
  start = {
    pos = (charpos = 4096, bytepos = 4096)
    overlay_string_index = -1
    string_pos = (charpos = -1, bytepos = -1)
    dpvec_index = -1
  }
  current = {
    pos = (charpos = 4139, bytepos = 4139)
    overlay_string_index = -1
    string_pos = (charpos = 6, bytepos = 6)
    dpvec_index = -1
  }
  n_overlay_strings = 1
  overlay_strings_charpos = 4139
  overlay_strings = {
    [0] = (i = 4375117076)
    [1] = (i = 0)
    [2] = (i = 0)
    [3] = (i = 0)
    [4] = (i = 0)
    [5] = (i = 0)
    [6] = (i = 0)
    [7] = (i = 0)
    [8] = (i = 0)
    [9] = (i = 0)
    [10] = (i = 0)
    [11] = (i = 0)
    [12] = (i = 0)
    [13] = (i = 0)
    [14] = (i = 0)
    [15] = (i = 0)
  }
  string_overlays = {
    [0] = (i = 4308241377)
    [1] = (i = 0)
    [2] = (i = 0)
    [3] = (i = 0)
    [4] = (i = 0)
    [5] = (i = 0)
    [6] = (i = 0)
    [7] = (i = 0)
    [8] = (i = 0)
    [9] = (i = 0)
    [10] = (i = 0)
    [11] = (i = 0)
    [12] = (i = 0)
    [13] = (i = 0)
    [14] = (i = 0)
    [15] = (i = 0)
  }
  string = (i = 4375117108)
  from_overlay = (i = 0)
  stack = {
    [0] = {
      string = (i = 0)
      string_nchars = 0
      end_charpos = 33115
      stop_charpos = 4145
      prev_stop = 0
      base_level_stop = 0
      cmp_it = {
        stop_pos = 4136
        id = 3
        ch = -1
        rule_idx = 0
        lookback = 0
        nglyphs = -1
        reversed_p = false
        charpos = 0
        nchars = 6
        nbytes = 0
        from = 0
        to = 0
        width = 0
      }
      face_id = 22
      u = {
        image = {
          object = (i = 0)
          slice = {
            x = (i = 0)
            y = (i = 0)
            width = (i = 0)
            height = (i = 0)
          }
          image_id = 0
        }
        stretch = {
          object = (i = 0)
        }
        xwidget = {
          object = (i = 0)
        }
      }
      position = (charpos = 4138, bytepos = 4138)
      current = {
        pos = (charpos = 4139, bytepos = 4139)
        overlay_string_index = 0
        string_pos = (charpos = -1, bytepos = -1)
        dpvec_index = -1
      }
      from_overlay = (i = 0)
      area = TEXT_AREA
      method = GET_FROM_BUFFER
      paragraph_embedding = L2R
      multibyte_p = true
      string_from_display_prop_p = false
      string_from_prefix_prop_p = false
      display_ellipsis_p = false
      avoid_cursor_p = false
      bidi_p = false
      from_disp_prop_p = false
      line_wrap = WINDOW_WRAP
      voffset = 0
      space_width = (i = 0)
      font_height = (i = 0)
    }
    [1] = {
      string = (i = 4375117076)
      string_nchars = 0
      end_charpos = 1
      stop_charpos = 1
      prev_stop = 0
      base_level_stop = 0
      cmp_it = {
        stop_pos = 4136
        id = 3
        ch = -1
        rule_idx = 0
        lookback = 0
        nglyphs = -1
        reversed_p = false
        charpos = 0
        nchars = 6
        nbytes = 0
        from = 0
        to = 0
        width = 0
      }
      face_id = 23
      u = {
        image = {
          object = (i = 0)
          slice = {
            x = (i = 0)
            y = (i = 0)
            width = (i = 0)
            height = (i = 0)
          }
          image_id = 0
        }
        stretch = {
          object = (i = 0)
        }
        xwidget = {
          object = (i = 0)
        }
      }
      position = (charpos = 1, bytepos = 1)
      current = {
        pos = (charpos = 4139, bytepos = 4139)
        overlay_string_index = 0
        string_pos = (charpos = 1, bytepos = 1)
        dpvec_index = -1
      }
      from_overlay = (i = 0)
      area = TEXT_AREA
      method = GET_FROM_STRING
      paragraph_embedding = L2R
      multibyte_p = false
      string_from_display_prop_p = false
      string_from_prefix_prop_p = false
      display_ellipsis_p = false
      avoid_cursor_p = false
      bidi_p = false
      from_disp_prop_p = false
      line_wrap = WINDOW_WRAP
      voffset = 0
      space_width = (i = 0)
      font_height = (i = 0)
    }
    [2] = {
      string = (i = 0)
      string_nchars = 0
      end_charpos = 0
      stop_charpos = 0
      prev_stop = 0
      base_level_stop = 0
      cmp_it = {
        stop_pos = 0
        id = 0
        ch = 0
        rule_idx = 0
        lookback = 0
        nglyphs = 0
        reversed_p = false
        charpos = 0
        nchars = 0
        nbytes = 0
        from = 0
        to = 0
        width = 0
      }
      face_id = 0
      u = {
        image = {
          object = (i = 0)
          slice = {
            x = (i = 0)
            y = (i = 0)
            width = (i = 0)
            height = (i = 0)
          }
          image_id = 0
        }
        stretch = {
          object = (i = 0)
        }
        xwidget = {
          object = (i = 0)
        }
      }
      position = (charpos = 0, bytepos = 0)
      current = {
        pos = (charpos = 0, bytepos = 0)
        overlay_string_index = 0
        string_pos = (charpos = 0, bytepos = 0)
        dpvec_index = 0
      }
      from_overlay = (i = 0)
      area = LEFT_MARGIN_AREA
      method = GET_FROM_BUFFER
      paragraph_embedding = NEUTRAL_DIR
      multibyte_p = false
      string_from_display_prop_p = false
      string_from_prefix_prop_p = false
      display_ellipsis_p = false
      avoid_cursor_p = false
      bidi_p = false
      from_disp_prop_p = false
      line_wrap = TRUNCATE
      voffset = 0
      space_width = (i = 0)
      font_height = (i = 0)
    }
    [3] = {
      string = (i = 0)
      string_nchars = 0
      end_charpos = 0
      stop_charpos = 0
      prev_stop = 0
      base_level_stop = 0
      cmp_it = {
        stop_pos = 0
        id = 0
        ch = 0
        rule_idx = 0
        lookback = 0
        nglyphs = 0
        reversed_p = false
        charpos = 0
        nchars = 0
        nbytes = 0
        from = 0
        to = 0
        width = 0
      }
      face_id = 0
      u = {
        image = {
          object = (i = 0)
          slice = {
            x = (i = 0)
            y = (i = 0)
            width = (i = 0)
            height = (i = 0)
          }
          image_id = 0
        }
        stretch = {
          object = (i = 0)
        }
        xwidget = {
          object = (i = 0)
        }
      }
      position = (charpos = 0, bytepos = 0)
      current = {
        pos = (charpos = 0, bytepos = 0)
        overlay_string_index = 0
        string_pos = (charpos = 0, bytepos = 0)
        dpvec_index = 0
      }
      from_overlay = (i = 0)
      area = LEFT_MARGIN_AREA
      method = GET_FROM_BUFFER
      paragraph_embedding = NEUTRAL_DIR
      multibyte_p = false
      string_from_display_prop_p = false
      string_from_prefix_prop_p = false
      display_ellipsis_p = false
      avoid_cursor_p = false
      bidi_p = false
      from_disp_prop_p = false
      line_wrap = TRUNCATE
      voffset = 0
      space_width = (i = 0)
      font_height = (i = 0)
    }
    [4] = {
      string = (i = 0)
      string_nchars = 0
      end_charpos = 0
      stop_charpos = 0
      prev_stop = 0
      base_level_stop = 0
      cmp_it = {
        stop_pos = 0
        id = 0
        ch = 0
        rule_idx = 0
        lookback = 0
        nglyphs = 0
        reversed_p = false
        charpos = 0
        nchars = 0
        nbytes = 0
        from = 0
        to = 0
        width = 0
      }
      face_id = 0
      u = {
        image = {
          object = (i = 0)
          slice = {
            x = (i = 0)
            y = (i = 0)
            width = (i = 0)
            height = (i = 0)
          }
          image_id = 0
        }
        stretch = {
          object = (i = 0)
        }
        xwidget = {
          object = (i = 0)
        }
      }
      position = (charpos = 0, bytepos = 0)
      current = {
        pos = (charpos = 0, bytepos = 0)
        overlay_string_index = 0
        string_pos = (charpos = 0, bytepos = 0)
        dpvec_index = 0
      }
      from_overlay = (i = 0)
      area = LEFT_MARGIN_AREA
      method = GET_FROM_BUFFER
      paragraph_embedding = NEUTRAL_DIR
      multibyte_p = false
      string_from_display_prop_p = false
      string_from_prefix_prop_p = false
      display_ellipsis_p = false
      avoid_cursor_p = false
      bidi_p = false
      from_disp_prop_p = false
      line_wrap = TRUNCATE
      voffset = 0
      space_width = (i = 0)
      font_height = (i = 0)
    }
  }
  sp = 2
  selective = 0
  what = IT_EOB
  face_id = 17
  selective_display_ellipsis_p = true
  ctl_arrow_p = true
  face_box_p = false
  start_of_box_run_p = false
  end_of_box_run_p = false
  overlay_strings_at_end_processed_p = false
  ignore_overlay_strings_at_pos_p = false
  glyph_not_available_p = false
  starts_in_middle_of_char_p = false
  face_before_selective_p = false
  constrain_row_ascent_descent_p = false
  line_wrap = WINDOW_WRAP
  base_face_id = 0
  c = 8704
  len = 0
  cmp_it = {
    stop_pos = 5
    id = -1
    ch = -2
    rule_idx = 0
    lookback = 0
    nglyphs = -1
    reversed_p = false
    charpos = 0
    nchars = 6
    nbytes = 6
    from = 0
    to = -1
    width = 2
  }
  char_to_display = 10
  glyphless_method = GLYPHLESS_DISPLAY_THIN_SPACE
  image_id = 0
  xwidget = 0x0000000000000000
  slice = {
    x = (i = 0)
    y = (i = 0)
    width = (i = 0)
    height = (i = 0)
  }
  space_width = (i = 0)
  voffset = 0
  tab_width = 8
  font_height = (i = 0)
  object = (i = 4375117108)
  position = (charpos = 0, bytepos = 0)
  truncation_pixel_width = 0
  continuation_pixel_width = 7
  first_visible_x = 0
  last_visible_x = 532
  last_visible_y = 255
  extra_line_spacing = 0
  max_extra_line_spacing = 0
  override_ascent = -1
  override_descent = 0
  override_boff = 0
  glyph_row = 0x0000000000000000
  area = LEFT_MARGIN_AREA
  nglyphs = 1
  pixel_width = 7
  ascent = 12
  descent = 4
  max_ascent = 12
  max_descent = 4
  phys_ascent = 12
  phys_descent = 4
  max_phys_ascent = 12
  max_phys_descent = 4
  current_x = 0
  continuation_lines_width = 0
  eol_pos = (charpos = 0, bytepos = 0)
  current_y = 80
  first_vpos = 0
  vpos = 5
  hpos = 0
  left_user_fringe_bitmap = 0
  right_user_fringe_bitmap = 0
  left_user_fringe_face_id = 0
  right_user_fringe_face_id = 0
  bidi_p = false
  bidi_it = {
    bytepos = 0
    charpos = 0
    ch = 0
    nchars = 0
    ch_len = 0
    type = UNKNOWN_BT
    type_after_wn = UNKNOWN_BT
    orig_type = UNKNOWN_BT
    resolved_level = '\0'
    isolate_level = '\0'
    invalid_levels = 0
    invalid_isolates = 0
    prev = (charpos = 0, type = UNKNOWN_BT, orig_type = UNKNOWN_BT)
    last_strong = (charpos = 0, type = UNKNOWN_BT, orig_type = UNKNOWN_BT)
    next_for_neutral = (charpos = 0, type = UNKNOWN_BT, orig_type = UNKNOWN_BT)
    prev_for_neutral = (charpos = 0, type = UNKNOWN_BT, orig_type = UNKNOWN_BT)
    next_for_ws = (charpos = 0, type = UNKNOWN_BT, orig_type = UNKNOWN_BT)
    bracket_pairing_pos = 0
    bracket_enclosed_type = UNKNOWN_BT
    next_en_pos = 0
    next_en_type = UNKNOWN_BT
    sos = NEUTRAL_DIR
    scan_dir = 0
    disp_pos = 0
    disp_prop = 0
    stack_idx = 0
    level_stack = {
      [0] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [1] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [2] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [3] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [4] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [5] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [6] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [7] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [8] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [9] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [10] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [11] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [12] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [13] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [14] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [15] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [16] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [17] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [18] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [19] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [20] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [21] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [22] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [23] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [24] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [25] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [26] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [27] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [28] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [29] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [30] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [31] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [32] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [33] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [34] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [35] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [36] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [37] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [38] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [39] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [40] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [41] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [42] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [43] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [44] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [45] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [46] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [47] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [48] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [49] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [50] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [51] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [52] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [53] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [54] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [55] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [56] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [57] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [58] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [59] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [60] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [61] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [62] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [63] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [64] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [65] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [66] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [67] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [68] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [69] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [70] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [71] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [72] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [73] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [74] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [75] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [76] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [77] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [78] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [79] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [80] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [81] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [82] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [83] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [84] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [85] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [86] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [87] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [88] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [89] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [90] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [91] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [92] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [93] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [94] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [95] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [96] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [97] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [98] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [99] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [100] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [101] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [102] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [103] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [104] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [105] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [106] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [107] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [108] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [109] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [110] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [111] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [112] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [113] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [114] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [115] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [116] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [117] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [118] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [119] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [120] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [121] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [122] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [123] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [124] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [125] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [126] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
      [127] = {
        next_for_neutral_pos = 0
        next_for_neutral_type = 0
        last_strong_type = 0
        prev_for_neutral_type = 0
        level = '\0'
        flags = '\0'
      }
    }
    string = {
      lstring = (i = 0)
      s = 0x0000000000000000 <no value available>
      schars = 0
      bufpos = 0
      from_disp_str = false
      unibyte = false
    }
    w = 0x0000000104071e38
    paragraph_dir = NEUTRAL_DIR
    separator_limit = 0
    first_elt = false
    new_paragraph = false
    frame_window_p = false
  }
  paragraph_embedding = L2R
}