 CPU time spent doing garbage collection (as reported by
GET-INTERNAL-RUN-TIME.) Initialized to zero on startup. It is safe to bind
this to zero in order to measure GC time inside a certain section of code, but
doing so may interfere with results reported by eg. TIME.</div></blockquote>
<div class="section" id="value">
<span id="value"></span><h2>Value<a class="headerlink" href="#value" title="Permalink to this headline">¶</a></h2>
<div class="highlight-cl notranslate"><div class="highlight"><pre><span></s