       </li>
<li class="listitem">
            <span class="bold"><strong>native_api.cpp</strong></span> verifies that all atomic
            operations have correct value semantics (e.g. "fetch_add" really
            adds the desired value, returning the previous). It is a rough "smoke-test"
            to help weed out the most obvious mistakes (for example width overflow,
            signed/unsigned extension, ...).
          </li>
<li class="listitem">
            <span class="bold"><strong>lockfree.cp