ss="lineno">   41</span><span class="comment"> *</span></div>
<div class="line"><a id="l00042" name="l00042"></a><span class="lineno">   42</span><span class="comment"> * Informally, for informational convenience:</span></div>
<div class="line"><a id="l00043" name="l00043"></a><span class="lineno">   43</span><span class="comment"> *   - Arena-sharing SHM-providers (classic::Pool_arena as of this writing), by definition, are symmetric, where</span></div>
<div class="line"><a id="l00044" name="l00044"></a><s