    <div class="related" role="navigation" aria-label="related navigation">
      <h3>Navigation</h3>
      <ul>
        <li class="right" style="margin-right: 10px">
          <a href="../genindex.html" title="General Index"
             >index</a></li>
        <li class="right" >
          <a href="HEADER_DIRS_NAME.html" title="HEADER_DIRS_&lt;NAME&gt;"
             >next</a> |</li>
        <li class="right" >
          <a href="HAS_CXX.html" title="HAS_CXX"
             >previous</a> |</li>
  <li>
    <i