<?xml version="1.0" encoding="UTF-8" standalone="no"?> <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> <!-- Generated by graphviz version 12.2.1 (20241206.2353) --> <!-- Title: EXECPTR Pages: 1 --> <svg width="64pt" height="104pt" viewBox="0.00 0.00 64.00 103.50" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 99.5)"> <title>EXECPTR</title> <!-- Node1 --> <g id="Node000001" class="node"> <title>Node1</title> <g id="a_Node000001"><a xlink:title=" "> <polygon fill="#999999" stroke="none" points="56,-95.5 0,-95.5 0,0 56,0 56,-95.5"/> <text text-anchor="start" x="4" y="-82" font-family="Helvetica,sans-Serif" font-size="10.00">EXECPTR</text> <text text-anchor="start" x="6" y="-66.75" font-family="Helvetica,sans-Serif" font-size="10.00">+</text> <text text-anchor="start" x="18" y="-66.75" font-family="Helvetica,sans-Serif" font-size="10.00">start</text> <text text-anchor="start" x="6" y="-51.5" font-family="Helvetica,sans-Serif" font-size="10.00">+</text> <text text-anchor="start" x="18" y="-51.5" font-family="Helvetica,sans-Serif" font-size="10.00">end</text> <text text-anchor="start" x="6" y="-36.25" font-family="Helvetica,sans-Serif" font-size="10.00">+</text> <text text-anchor="start" x="18" y="-36.25" font-family="Helvetica,sans-Serif" font-size="10.00">stop</text> <text text-anchor="start" x="6" y="-21" font-family="Helvetica,sans-Serif" font-size="10.00">+</text> <text text-anchor="start" x="18" y="-21" font-family="Helvetica,sans-Serif" font-size="10.00">started</text> <text text-anchor="start" x="26.5" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00"> </text> <polygon fill="#666666" stroke="#666666" points="0,-78.25 0,-78.25 56,-78.25 56,-78.25 0,-78.25"/> <polygon fill="#666666" stroke="#666666" points="0,-17.25 0,-17.25 16,-17.25 16,-17.25 0,-17.25"/> <polygon fill="#666666" stroke="#666666" points="16,-17.25 16,-17.25 56,-17.25 56,-17.25 16,-17.25"/> <polygon fill="none" stroke="#666666" points="0,0 0,-95.5 56,-95.5 56,0 0,0"/> </a> </g> </g> </g> </svg>