-style-type: circle; ">
<li class="listitem">
                <code class="computeroutput"><span class="identifier">saved_handler</span></code>
              </li>
<li class="listitem">
                <code class="computeroutput"><span class="identifier">buffers_range_ref</span></code>
              </li>
<li class="listitem">
                <code class="computeroutput"><span class="identifier">executor_type</span></code>
              </li>
<li class="listitem">
                <code class="computeroutpu