     // is undefined / inherited, so it will pop in and out as the screen
        // resizes around the "large" breakpoint.
        function toggleSidenav() {
            $("#sidenav").toggle("fast");
        }
    </script>
</div>
<!-- END: /incl-topnav.html -->

<!-- START: incl-sidenav.html active:#sidenav-digging-deeper -->
<div id="sidenav">
    <!-- side navigation bar contents -->
    <ul>
        <li id="sidenav-index"><a href="./">Introduction</a></li>
        <li id="sidenav-about-disasm"><a href=