That&#x27;s a good idea. Might <a href="http:&#x2F;&#x2F;akkartik.github.io&#x2F;mu&#x2F;html&#x2F;010vm.cc.html" rel="nofollow">http:&#x2F;&#x2F;akkartik.github.io&#x2F;mu&#x2F;html&#x2F;010vm.cc.html</a> [1] be such a big-picture map? Let me think about how to improve it; I haven&#x27;t touched it in a while. Further suggestions most welcome.<p>[1] Colorized version of <a href="https:&#x2F;&#x2F;github.com&#x2F;akkartik&#x2F;mu&#x2F;blob&#x2F;379244666c&#x2F;010vm.cc" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;akkartik&#x2F;mu&#x2F;blob&#x2F;379244666c&#x2F;010vm.cc</a>