diff --git a/images/recursive_mapping_access_p4.svg b/images/recursive_mapping_access_p4.svg
index e82ea6c9..0d17d3ba 100644
--- a/images/recursive_mapping_access_p4.svg
+++ b/images/recursive_mapping_access_p4.svg
@@ -7,9 +7,9 @@
    xmlns="http://www.w3.org/2000/svg"
    xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
    xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
-   width="7.0769176in"
-   height="4.2198086in"
-   viewBox="-2141 2141 8512 5039.0019"
+   width="900.00409"
+   height="530"
+   viewBox="-2141 2141 12027.89 7032.1014"
    id="svg2"
    version="1.1"
    inkscape:version="0.91 r13725"
@@ -45,230 +45,292 @@
      fit-margin-left="0"
      fit-margin-right="2.7755576e-17"
      fit-margin-bottom="0"
-     inkscape:zoom="1.4142136"
-     inkscape:cx="419.60284"
-     inkscape:cy="118.37878"
+     inkscape:zoom="1"
+     inkscape:cx="527.14295"
+     inkscape:cy="313.48738"
      inkscape:window-x="1080"
      inkscape:window-y="568"
      inkscape:window-maximized="1"
-     inkscape:current-layer="g4" />
+     inkscape:current-layer="g4"
+     units="px" />
   <g
      style="fill:none;stroke:#000000;stroke-width:8;stroke-linecap:butt;stroke-linejoin:miter"
      id="g4"
-     transform="translate(-2845,-286.25718)">
+     transform="translate(-1087.0637,717.51407)">
     <polyline
        points="3365,2598 3365,3070"
-       id="polyline10" />
+       id="polyline10"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="3189,2598 3189,3070"
-       id="polyline12" />
+       id="polyline12"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="3012,2598 3012,3070"
-       id="polyline14" />
+       id="polyline14"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="2834,2598 2834,3070"
-       id="polyline16" />
+       id="polyline16"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="2657,2598 2657,3070"
-       id="polyline18" />
+       id="polyline18"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="2480,2598 2480,3070"
-       id="polyline20" />
+       id="polyline20"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="2303,2598 2303,3070"
-       id="polyline22" />
+       id="polyline22"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="2125,2456 2125,3070"
-       id="polyline24" />
+       id="polyline24"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="1948,2598 1948,3070"
-       id="polyline26" />
+       id="polyline26"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="1772,2598 1772,3070"
-       id="polyline28" />
+       id="polyline28"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="1594,2598 1594,3070"
-       id="polyline30" />
+       id="polyline30"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="1417,2598 1417,3070"
-       id="polyline32" />
+       id="polyline32"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="1239,2598 1239,3070"
-       id="polyline34" />
+       id="polyline34"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="1063,2598 1063,3070"
-       id="polyline36" />
+       id="polyline36"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="886,2598 886,3070"
-       id="polyline38" />
+       id="polyline38"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="708,2456 708,3070"
-       id="polyline40" />
+       id="polyline40"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="3543,2456 3543,3070"
-       id="polyline74" />
+       id="polyline74"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="-2125,2598 3543,2598"
        id="polyline76"
-       transform="matrix(0.49978943,0,0,1,1772.2461,0)" />
+       transform="matrix(0.70622791,0,0,1.3955346,455.54989,-1956.6141)" />
     <polyline
        points="3543,3070 -1948,3070 -2125,3070"
        id="polyline78"
-       transform="matrix(0.49786923,0,0,1,1779.0493,0)" />
+       transform="matrix(0.70351457,0,0,1.3955346,465.16321,-1956.6141)" />
     <polyline
        points="9035,2598 9035,3070"
-       id="polyline80" />
+       id="polyline80"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="8858,2598 8858,3070"
-       id="polyline82" />
+       id="polyline82"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="8681,2598 8681,3070"
-       id="polyline84" />
+       id="polyline84"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="8503,2598 8503,3070"
-       id="polyline86" />
+       id="polyline86"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="8326,2598 8326,3070"
-       id="polyline88" />
+       id="polyline88"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="8150,2598 8150,3070"
-       id="polyline90" />
+       id="polyline90"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="7972,2598 7972,3070"
-       id="polyline92" />
+       id="polyline92"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="7795,2456 7795,3070"
-       id="polyline94" />
+       id="polyline94"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="7617,2598 7617,3070"
-       id="polyline96" />
+       id="polyline96"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="7441,2598 7441,3070"
-       id="polyline98" />
+       id="polyline98"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="7264,2598 7264,3070"
-       id="polyline100" />
+       id="polyline100"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="7086,2598 7086,3070"
-       id="polyline102" />
+       id="polyline102"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="6909,2598 6909,3070"
-       id="polyline104" />
+       id="polyline104"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="6732,2598 6732,3070"
-       id="polyline106" />
+       id="polyline106"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="6555,2598 6555,3070"
-       id="polyline108" />
+       id="polyline108"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="6377,2456 6377,3070"
-       id="polyline110" />
+       id="polyline110"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="6200,2598 6200,3070"
-       id="polyline112" />
+       id="polyline112"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="6024,2598 6024,3070"
-       id="polyline114" />
+       id="polyline114"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="5846,2598 5846,3070"
-       id="polyline116" />
+       id="polyline116"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="5669,2598 5669,3070"
-       id="polyline118" />
+       id="polyline118"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="5491,2598 5491,3070"
-       id="polyline120" />
+       id="polyline120"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="5315,2598 5315,3070"
-       id="polyline122" />
+       id="polyline122"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="5138,2598 5138,3070"
-       id="polyline124" />
+       id="polyline124"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="4960,2409 4960,3070"
-       id="polyline126" />
+       id="polyline126"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="4783,2598 4783,3070"
-       id="polyline128" />
+       id="polyline128"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="4606,2598 4606,3070"
-       id="polyline130" />
+       id="polyline130"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="4429,2598 4429,3070"
-       id="polyline132" />
+       id="polyline132"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="4251,2598 4251,3070"
-       id="polyline134" />
+       id="polyline134"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="4074,2598 4074,3070"
-       id="polyline136" />
+       id="polyline136"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="3898,2598 3898,3070"
-       id="polyline138" />
+       id="polyline138"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="3720,2598 3720,3070"
-       id="polyline140" />
+       id="polyline140"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="9212,2456 9212,3070"
-       id="polyline142" />
+       id="polyline142"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="3543,2598 9212,2598"
-       id="polyline144" />
+       id="polyline144"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="9212,3070 3720,3070 0,3070"
        id="polyline146"
-       transform="matrix(0.92335242,0,0,1,706.07747,0)" />
+       transform="matrix(1.3047439,0,0,1.3955346,-1051.0007,-1956.6141)" />
     <rect
-       x="4295.9551"
-       y="4491.5566"
-       width="1181"
-       height="2362"
+       x="4021.6787"
+       y="4311.5088"
+       width="1668.8131"
+       height="3296.2527"
        rx="0"
-       style="fill:#dfdfdf"
+       style="fill:#dfdfdf;stroke-width:11.23412323"
        id="rect150" />
     <polyline
        points="3118,3590 2834,3779"
        style="stroke:#0000ff"
-       id="polyline178" />
+       id="polyline178"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="1322,3590 1039,3779"
        style="stroke:#0000ff"
-       id="polyline180" />
+       id="polyline180"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="4913,3590 4629,3779"
        style="stroke:#0000ff"
-       id="polyline184" />
+       id="polyline184"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="6519,3590 6236,3779"
        style="stroke:#0000ff"
-       id="polyline186" />
+       id="polyline186"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="8314,3590 8031,3779"
        style="stroke:#0000ff"
-       id="polyline188" />
+       id="polyline188"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="9212,3070 9070,3307 8314,3307 8173,3543 8031,3307 7228,3307 7086,3070"
        style="stroke:#0000ff"
-       id="polyline204" />
+       id="polyline204"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="3898,3070 4015,3307 4629,3307 4771,3543 4913,3307 5385,3307 5491,3070"
        style="stroke:#0000ff"
-       id="polyline206" />
+       id="polyline206"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="5491,3070 5622,3307 6236,3307 6377,3543 6519,3307 6909,3307 7086,3070"
        style="stroke:#0000ff"
-       id="polyline208" />
+       id="polyline208"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="2303,3070 2409,3307 2834,3307 2976,3543 3118,3307 3779,3307 3898,3070"
        style="stroke:#0000ff"
-       id="polyline210" />
+       id="polyline210"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <polyline
        points="708,3070 850,3307 1039,3307 1181,3543 1322,3307 2173,3307 2303,3070"
        style="stroke:#0000ff"
-       id="polyline212" />
+       id="polyline212"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)" />
     <g
        style="fill:#000000;stroke-width:0"
-       id="g242">
+       id="g242"
+       transform="matrix(1.4130509,0,0,1.3955346,-2048.7241,-1956.6141)">
       <text
          xml:space="preserve"
          x="3507"
@@ -636,7 +698,7 @@
            id="tspan3495-6-4-9">Offset in bytes</tspan></text>
     </g>
     <polygon
-       transform="matrix(-0.99999761,-0.00225115,0.00225114,-0.99999735,8757.3271,12495.154)"
+       transform="matrix(-1.4130475,-0.00314156,0.00318097,-1.395531,10325.825,15480.806)"
        points="3150,6661 3308,6614 3150,6566 3150,6661 "
        style="fill:#0000ff;stroke:#0000ff;stroke-width:8;stroke-linecap:butt;stroke-linejoin:miter"
        id="polygon232-0-6" />
@@ -644,35 +706,35 @@
        points="3308,6614 3150,6566 3150,6661 3150,6661 "
        style="fill:#0000ff;stroke:#0000ff"
        id="polygon232"
-       transform="matrix(0.96443351,0,0,2.1707597,1110.4988,-9393.2156)" />
+       transform="matrix(1.3627937,0,0,3.0293703,-479.53274,-15065.171)" />
     <polygon
        points="3308,6614 3150,6566 3150,6661 3150,6661 "
        style="fill:#0000ff;stroke:#0000ff;stroke-width:8;stroke-linecap:butt;stroke-linejoin:miter"
        id="polygon232-2"
-       transform="translate(992.36501,239.27944)" />
+       transform="matrix(1.4130509,0,0,1.3955346,-646.4618,-1622.6914)" />
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#0000ff;stroke-width:13.36426067px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-       d="m 5394.9089,4725 509.5152,0 0,2527.1786 -1957.2557,0 0,-401.6704 208.6415,0"
+       style="fill:none;fill-rule:evenodd;stroke:#0000ff;stroke-width:18.76697159px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 5574.5569,4637.287 719.9709,0 0,3526.7653 -2765.702,0 0,-560.545 294.8212,0"
        id="path5354"
        inkscape:connector-curvature="0" />
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#0000ff;stroke-width:13.37173843px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-       d="m 4168.4847,5030.7788 -2987.2219,0 0,-1490.8478"
+       style="fill:none;fill-rule:evenodd;stroke:#0000ff;stroke-width:18.77747154px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 3841.557,5064.0119 -4221.09662,0 0,-2080.5297"
        id="path5356"
        inkscape:connector-curvature="0" />
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#0000ff;stroke-width:13.37527084px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-       d="m 2976.1452,3542.2894 0,1450.9254 1192.2501,0"
+       style="fill:none;fill-rule:evenodd;stroke:#0000ff;stroke-width:18.78243065px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 2156.7206,2986.7734 0,2024.8166 1684.7101,0"
        id="path5358"
        inkscape:connector-curvature="0" />
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#0000ff;stroke-width:13.42350769px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-       d="m 4773.3965,3537.4589 0,358.9961 -1398.1938,0 0,1056.7631 798.4906,0"
+       style="fill:none;fill-rule:evenodd;stroke:#0000ff;stroke-width:18.85016823px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 4696.3283,2980.0323 0,500.9915 -1975.7191,0 0,1474.7495 1128.3078,0"
        id="path5360"
        inkscape:connector-curvature="0" />
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#0000ff;stroke-width:13.45001221px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-       d="m 6377.0999,3542.4581 0,524.8889 -2540.8222,0 0,846.5951 317.1853,0"
+       style="fill:none;fill-rule:evenodd;stroke:#0000ff;stroke-width:18.88738632px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 6962.4428,2987.0089 0,732.5006 -3590.3111,0 0,1181.4528 448.1989,0"
        id="path5362"
        inkscape:connector-curvature="0" />
   </g>