-is-unspecified">1.1 Data layout is unspecified</a><ul></ul></li>
<li><a href="#there-is-no-gc">1.2 There is no GC</a><ul></ul></li>
<li><a href="#non-sync-static-mut-is-unsafe">1.3 Non-<code>Sync</code> <code>static mut</code> is unsafe</a><ul>
<li><a href="#if-mutable-static-items-that-implement-sync-are-safe-why-is-taking-mut-sharable-unsafe">1.3.1 If mutable static items that implement <code>Sync</code> are safe, why is taking &amp;mut SHARABLE unsafe?</a><ul></ul></li></ul></li>
<li><a href="#there-is-