| <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
| <svg |
| xmlns:dc="http://purl.org/dc/elements/1.1/" |
| xmlns:cc="http://creativecommons.org/ns#" |
| xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" |
| xmlns:svg="http://www.w3.org/2000/svg" |
| 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" |
| id="svg8" |
| version="1.1" |
| viewBox="0 0 200 150" |
| height="150mm" |
| width="200mm"> |
| <defs |
| id="defs2"> |
| <marker |
| inkscape:stockid="Arrow2Lend" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="marker1403" |
| style="overflow:visible" |
| inkscape:isstock="true"> |
| <path |
| id="path1401" |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" |
| d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" |
| transform="matrix(-1.1,0,0,-1.1,-1.1,0)" /> |
| </marker> |
| <marker |
| inkscape:stockid="Arrow2Lend" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="marker1393" |
| style="overflow:visible" |
| inkscape:isstock="true"> |
| <path |
| id="path1391" |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" |
| d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" |
| transform="matrix(-1.1,0,0,-1.1,-1.1,0)" /> |
| </marker> |
| <marker |
| inkscape:stockid="Arrow2Lend" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="marker1383" |
| style="overflow:visible" |
| inkscape:isstock="true"> |
| <path |
| id="path1381" |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" |
| d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" |
| transform="matrix(-1.1,0,0,-1.1,-1.1,0)" /> |
| </marker> |
| <marker |
| inkscape:stockid="Arrow2Lend" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="marker1373" |
| style="overflow:visible" |
| inkscape:isstock="true"> |
| <path |
| id="path1371" |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" |
| d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" |
| transform="matrix(-1.1,0,0,-1.1,-1.1,0)" /> |
| </marker> |
| <marker |
| inkscape:stockid="Arrow2Lend" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="marker1363" |
| style="overflow:visible" |
| inkscape:isstock="true"> |
| <path |
| id="path1361" |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" |
| d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" |
| transform="matrix(-1.1,0,0,-1.1,-1.1,0)" /> |
| </marker> |
| <marker |
| inkscape:stockid="Arrow2Lend" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="marker1353" |
| style="overflow:visible" |
| inkscape:isstock="true"> |
| <path |
| id="path1351" |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" |
| d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" |
| transform="matrix(-1.1,0,0,-1.1,-1.1,0)" /> |
| </marker> |
| <marker |
| inkscape:stockid="Arrow2Lend" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="marker1343" |
| style="overflow:visible" |
| inkscape:isstock="true"> |
| <path |
| id="path1341" |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" |
| d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" |
| transform="matrix(-1.1,0,0,-1.1,-1.1,0)" /> |
| </marker> |
| <marker |
| inkscape:stockid="Arrow2Lend" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="marker1333" |
| style="overflow:visible" |
| inkscape:isstock="true"> |
| <path |
| id="path1331" |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" |
| d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" |
| transform="matrix(-1.1,0,0,-1.1,-1.1,0)" /> |
| </marker> |
| <marker |
| inkscape:stockid="Arrow2Lend" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="marker1323" |
| style="overflow:visible" |
| inkscape:isstock="true"> |
| <path |
| id="path1321" |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" |
| d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" |
| transform="matrix(-1.1,0,0,-1.1,-1.1,0)" /> |
| </marker> |
| </defs> |
| <g |
| id="layer1" |
| inkscape:groupmode="layer" |
| inkscape:label="Layer 1"> |
| <text |
| id="text855" |
| y="140.22917" |
| x="15.875002" |
| style="font-size:4.93889px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| dx="0" |
| style="font-size:4.93889px;stroke-width:0.264583" |
| y="140.22917" |
| x="15.875002" |
| id="tspan853" |
| sodipodi:role="line">Overwritten: {p->x, p->y, p->z}</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" |
| x="108.47917" |
| y="140.22917" |
| id="text855-4"><tspan |
| sodipodi:role="line" |
| id="tspan853-1" |
| x="108.47917" |
| y="140.22917" |
| style="font-size:4.9389px;stroke-width:0.264583" |
| dx="0">Overwritten: {p->x, p->z}</tspan></text> |
| <text |
| id="text855-4-1" |
| y="119.06249" |
| x="66.145836" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| dx="0" |
| style="font-size:4.9389px;stroke-width:0.264583" |
| y="119.06249" |
| x="66.145836" |
| id="tspan853-1-1" |
| sodipodi:role="line">Overwritten: {p->x, p->z}</tspan></text> |
| <text |
| id="text855-4-19" |
| y="111.12498" |
| x="140.22916" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| dx="0" |
| style="font-size:4.9389px;stroke-width:0.264583" |
| y="111.12498" |
| x="140.22916" |
| id="tspan853-1-0" |
| sodipodi:role="line">Overwritten: {p->q}</tspan></text> |
| <text |
| id="text855-4-2" |
| y="95.249992" |
| x="103.1875" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| dx="0" |
| style="font-size:4.9389px;stroke-width:0.264583" |
| y="95.249992" |
| x="103.1875" |
| id="tspan853-1-00" |
| sodipodi:role="line">Overwritten: {}</tspan></text> |
| <path |
| sodipodi:nodetypes="cc" |
| id="path909" |
| d="M 66.145835,134.93749 100.54167,121.70832" |
| style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1393)" /> |
| <path |
| sodipodi:nodetypes="cc" |
| id="path911" |
| d="m 140.22917,134.93749 -39.6875,-13.22917" |
| style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1403)" /> |
| <path |
| sodipodi:nodetypes="cc" |
| id="path913" |
| d="M 100.54167,113.77082 123.03126,96.572903" |
| style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1373)" /> |
| <path |
| sodipodi:nodetypes="cc" |
| id="path915" |
| d="M 161.39584,105.83332 123.03126,96.572903" |
| style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1383)" /> |
| <text |
| xml:space="preserve" |
| style="font-size:6.35px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" |
| x="7.9375" |
| y="92.604179" |
| id="text855-4-2-6"><tspan |
| sodipodi:role="line" |
| id="tspan853-1-00-3" |
| x="7.9375" |
| y="92.604179" |
| style="font-size:6.35px;stroke-width:0.264583">Normal states</tspan></text> |
| <rect |
| y="84.666672" |
| x="2.6458333" |
| height="60.854164" |
| width="195.79167" |
| id="rect935" |
| style="fill:none;stroke:#000000;stroke-width:0.264999" /> |
| <rect |
| y="2.6458333" |
| x="2.6458333" |
| height="71.4375" |
| width="195.79167" |
| id="rect937" |
| style="fill:none;stroke:#000000;stroke-width:0.264999" /> |
| <text |
| id="text855-4-2-6-8" |
| y="10.583333" |
| x="7.9375" |
| style="font-size:6.35px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:6.35px;stroke-width:0.264583" |
| y="10.583333" |
| x="7.9375" |
| id="tspan853-1-00-3-4" |
| sodipodi:role="line">Failure states</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" |
| x="5.2916665" |
| y="68.791672" |
| id="text855-4-2-8"><tspan |
| sodipodi:role="line" |
| id="tspan853-1-00-5" |
| x="5.2916665" |
| y="68.791672" |
| style="font-size:4.9389px;stroke-width:0.264583">{Unsafe read at line 3}</tspan></text> |
| <text |
| id="text855-4-2-8-1" |
| y="68.791672" |
| x="66.145836" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:4.9389px;stroke-width:0.264583" |
| y="68.791672" |
| x="66.145836" |
| id="tspan853-1-00-5-1" |
| sodipodi:role="line">{Pointer escape at line 5}</tspan></text> |
| <text |
| id="text855-4-2-8-8" |
| y="68.791672" |
| x="134.9375" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:4.9389px;stroke-width:0.264583" |
| y="68.791672" |
| x="134.9375" |
| id="tspan853-1-00-5-8" |
| sodipodi:role="line">{Unsafe read at line 7}</tspan></text> |
| <text |
| id="text855-4-2-8-9" |
| y="44.979164" |
| x="7.9375" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:4.9389px;stroke-width:0.264583" |
| y="44.979164" |
| x="7.9375" |
| id="tspan853-1-00-5-4" |
| sodipodi:role="line">{Unsafe read at line 3, Pointer escape at line 5}</tspan></text> |
| <path |
| id="path1019" |
| d="m 31.75,63.499999 31.749999,-15.875" |
| style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1333)" /> |
| <path |
| id="path1021" |
| d="m 100.54167,63.499999 -37.041671,-15.875" |
| style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1343)" /> |
| <text |
| xml:space="preserve" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" |
| x="10.583333" |
| y="23.812502" |
| id="text855-4-2-8-9-8"><tspan |
| id="tspan1041" |
| sodipodi:role="line" |
| x="10.583333" |
| y="23.812502" |
| style="font-size:4.9389px;stroke-width:0.264583">{Unsafe read at line 3, Pointer escape at line 5, Unsafe read at line 7}</tspan></text> |
| <path |
| id="path1045" |
| d="M 74.083332,39.687499 124.35417,26.458333" |
| style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1353)" /> |
| <path |
| id="path1047" |
| d="M 161.39583,63.499999 124.35417,26.458333" |
| style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1363)" /> |
| <path |
| id="path1049" |
| d="M 100.54167,84.666666 V 74.083333" |
| style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker1323)" /> |
| </g> |
| </svg> |
