eaders.
      [NB: this can be enabled via <code class="option">--enable-cheaders=c</code>]
      </dd><dt><span class="term"><code class="filename">include/c_global</code></span></dt><dd>
      Headers intended to include standard C headers in
      the global namespace, and put select names into the <code class="code">std::</code>
      namespace.  [NB: this is the default, and is the same as
      <code class="option">--enable-cheaders=c_global</code>]
      </dd><dt><span class="term"><code class="filen