svg/memorywriter_exec.svg

<?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 9.0.0 (20230911.1827)
 -->
<!-- Pages: 1 -->
<svg width="1002pt" height="294pt"
 viewBox="0.00 0.00 1001.50 294.00" 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 290)">
<polygon fill="white" stroke="none" points="-4,4 -4,-290 997.5,-290 997.5,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__memorywriter_exec</title>
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="0,-8 0,-278 993.5,-278 993.5,-8 0,-8"/>
<text text-anchor="middle" x="496.75" y="-260.7" font-family="Times New Roman,serif" font-size="14.00">MemorywriterExec</text>
</g>
<g id="clust3" class="cluster">
<title>cluster__chunk_t</title>
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="251.5,-95 251.5,-227 730.5,-227 730.5,-95 251.5,-95"/>
<text text-anchor="middle" x="491" y="-209.7" font-family="Times New Roman,serif" font-size="14.00">MemorywriterExec::ChunkT</text>
</g>
<g id="clust4" class="cluster">
<title>cluster__load_chunk</title>
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="779.5,-16 779.5,-148 973.5,-148 973.5,-16 779.5,-16"/>
<text text-anchor="middle" x="876.5" y="-130.7" font-family="Times New Roman,serif" font-size="14.00">MemorywriterExec::LoadChunk</text>
</g>
<g id="clust2" class="cluster">
<title>cluster__chunk_header_t</title>
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="8,-116 8,-227 222,-227 222,-116 8,-116"/>
<text text-anchor="middle" x="115" y="-209.7" font-family="Times New Roman,serif" font-size="14.00">MemorywriterExec::ChunkHeaderT</text>
</g>
<g id="clust5" class="cluster">
<title>cluster__unknown_chunk</title>
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="766.5,-156 766.5,-246 985.5,-246 985.5,-156 766.5,-156"/>
<text text-anchor="middle" x="876" y="-228.7" font-family="Times New Roman,serif" font-size="14.00">MemorywriterExec::UnknownChunk</text>
</g>
<!-- memorywriter_exec__seq -->
<g id="node1" class="node">
<title>memorywriter_exec__seq</title>
<polygon fill="#e0ffe0" stroke="none" points="39.5,-81.5 39.5,-102.5 66.5,-102.5 66.5,-81.5 39.5,-81.5"/>
<polygon fill="none" stroke="black" points="39.5,-81.5 39.5,-102.5 66.5,-102.5 66.5,-81.5 39.5,-81.5"/>
<text text-anchor="start" x="42.5" y="-86.2" font-family="Times New Roman,serif" font-size="14.00">pos</text>
<polygon fill="#e0ffe0" stroke="none" points="66.5,-81.5 66.5,-102.5 93.5,-102.5 93.5,-81.5 66.5,-81.5"/>
<polygon fill="none" stroke="black" points="66.5,-81.5 66.5,-102.5 93.5,-102.5 93.5,-81.5 66.5,-81.5"/>
<text text-anchor="start" x="69.5" y="-86.2" font-family="Times New Roman,serif" font-size="14.00">size</text>
<polygon fill="#e0ffe0" stroke="none" points="93.5,-81.5 93.5,-102.5 144.5,-102.5 144.5,-81.5 93.5,-81.5"/>
<polygon fill="none" stroke="black" points="93.5,-81.5 93.5,-102.5 144.5,-102.5 144.5,-81.5 93.5,-81.5"/>
<text text-anchor="start" x="107" y="-86.2" font-family="Times New Roman,serif" font-size="14.00">type</text>
<polygon fill="#e0ffe0" stroke="none" points="144.5,-81.5 144.5,-102.5 189.5,-102.5 189.5,-81.5 144.5,-81.5"/>
<polygon fill="none" stroke="black" points="144.5,-81.5 144.5,-102.5 189.5,-102.5 189.5,-81.5 144.5,-81.5"/>
<text text-anchor="start" x="161.75" y="-86.2" font-family="Times New Roman,serif" font-size="14.00">id</text>
<polygon fill="none" stroke="black" points="39.5,-60.5 39.5,-81.5 66.5,-81.5 66.5,-60.5 39.5,-60.5"/>
<text text-anchor="start" x="49.62" y="-65.2" font-family="Times New Roman,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="66.5,-60.5 66.5,-81.5 93.5,-81.5 93.5,-60.5 66.5,-60.5"/>
<text text-anchor="start" x="74.38" y="-65.2" font-family="Times New Roman,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="93.5,-60.5 93.5,-81.5 144.5,-81.5 144.5,-60.5 93.5,-60.5"/>
<text text-anchor="start" x="96.12" y="-65.2" font-family="Times New Roman,serif" font-size="14.00">ChunkT</text>
<polygon fill="none" stroke="black" points="144.5,-60.5 144.5,-81.5 189.5,-81.5 189.5,-60.5 144.5,-60.5"/>
<text text-anchor="start" x="147.12" y="-65.2" font-family="Times New Roman,serif" font-size="14.00">chunks</text>
<polygon fill="none" stroke="black" points="39.5,-39.5 39.5,-60.5 189.5,-60.5 189.5,-39.5 39.5,-39.5"/>
<text text-anchor="start" x="50" y="-44.2" font-family="Times New Roman,serif" font-size="14.00">repeat to end of stream</text>
</g>
<!-- chunk_t__seq -->
<g id="node3" class="node">
<title>chunk_t__seq</title>
<polygon fill="#e0ffe0" stroke="none" points="267.5,-170 267.5,-191 294.5,-191 294.5,-170 267.5,-170"/>
<polygon fill="none" stroke="black" points="267.5,-170 267.5,-191 294.5,-191 294.5,-170 267.5,-170"/>
<text text-anchor="start" x="270.5" y="-174.7" font-family="Times New Roman,serif" font-size="14.00">pos</text>
<polygon fill="#e0ffe0" stroke="none" points="294.5,-170 294.5,-191 321.5,-191 321.5,-170 294.5,-170"/>
<polygon fill="none" stroke="black" points="294.5,-170 294.5,-191 321.5,-191 321.5,-170 294.5,-170"/>
<text text-anchor="start" x="297.5" y="-174.7" font-family="Times New Roman,serif" font-size="14.00">size</text>
<polygon fill="#e0ffe0" stroke="none" points="321.5,-170 321.5,-191 474.5,-191 474.5,-170 321.5,-170"/>
<polygon fill="none" stroke="black" points="321.5,-170 321.5,-191 474.5,-191 474.5,-170 321.5,-170"/>
<text text-anchor="start" x="386" y="-174.7" font-family="Times New Roman,serif" font-size="14.00">type</text>
<polygon fill="#e0ffe0" stroke="none" points="474.5,-170 474.5,-191 536.5,-191 536.5,-170 474.5,-170"/>
<polygon fill="none" stroke="black" points="474.5,-170 474.5,-191 536.5,-191 536.5,-170 474.5,-170"/>
<text text-anchor="start" x="500.25" y="-174.7" font-family="Times New Roman,serif" font-size="14.00">id</text>
<polygon fill="none" stroke="black" points="267.5,-149 267.5,-170 294.5,-170 294.5,-149 267.5,-149"/>
<text text-anchor="start" x="277.62" y="-153.7" font-family="Times New Roman,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="294.5,-149 294.5,-170 321.5,-170 321.5,-149 294.5,-149"/>
<text text-anchor="start" x="304.62" y="-153.7" font-family="Times New Roman,serif" font-size="14.00">3</text>
<polygon fill="none" stroke="black" points="321.5,-149 321.5,-170 474.5,-170 474.5,-149 321.5,-149"/>
<text text-anchor="start" x="355.25" y="-153.7" font-family="Times New Roman,serif" font-size="14.00">ChunkHeaderT</text>
<polygon fill="none" stroke="black" points="474.5,-149 474.5,-170 536.5,-170 536.5,-149 474.5,-149"/>
<text text-anchor="start" x="487.12" y="-153.7" font-family="Times New Roman,serif" font-size="14.00">header</text>
<polygon fill="none" stroke="black" points="267.5,-128 267.5,-149 294.5,-149 294.5,-128 267.5,-128"/>
<text text-anchor="start" x="277.62" y="-132.7" font-family="Times New Roman,serif" font-size="14.00">3</text>
<polygon fill="none" stroke="black" points="294.5,-128 294.5,-149 321.5,-149 321.5,-128 294.5,-128"/>
<text text-anchor="start" x="302.38" y="-132.7" font-family="Times New Roman,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="321.5,-128 321.5,-149 474.5,-149 474.5,-128 321.5,-128"/>
<text text-anchor="start" x="324.5" y="-132.7" font-family="Times New Roman,serif" font-size="14.00">switch (header.chunktype)</text>
<polygon fill="none" stroke="black" points="474.5,-128 474.5,-149 536.5,-149 536.5,-128 474.5,-128"/>
<text text-anchor="start" x="490.88" y="-132.7" font-family="Times New Roman,serif" font-size="14.00">body</text>
<polygon fill="none" stroke="black" points="267.5,-107 267.5,-128 294.5,-128 294.5,-107 267.5,-107"/>
<text text-anchor="start" x="275.38" y="-111.7" font-family="Times New Roman,serif" font-size="14.00">...</text>
<polygon fill="none" stroke="black" points="294.5,-107 294.5,-128 321.5,-128 321.5,-107 294.5,-107"/>
<text text-anchor="start" x="304.62" y="-111.7" font-family="Times New Roman,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="321.5,-107 321.5,-128 474.5,-128 474.5,-107 321.5,-107"/>
<text text-anchor="start" x="391.25" y="-111.7" font-family="Times New Roman,serif" font-size="14.00">u1</text>
<polygon fill="none" stroke="black" points="474.5,-107 474.5,-128 536.5,-128 536.5,-107 474.5,-107"/>
<text text-anchor="start" x="477.38" y="-111.7" font-family="Times New Roman,serif" font-size="14.00">checksum</text>
</g>
<!-- memorywriter_exec__seq&#45;&gt;chunk_t__seq -->
<g id="edge1" class="edge">
<title>memorywriter_exec__seq:chunks_type&#45;&gt;chunk_t__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M190.5,-71C230.49,-71 272.25,-83.53 307.93,-98.55"/>
<polygon fill="black" stroke="black" stroke-width="2" points="304.96,-101.08 315.53,-101.86 307.75,-94.66 304.96,-101.08"/>
</g>
<!-- chunk_header_t__seq -->
<g id="node2" class="node">
<title>chunk_header_t__seq</title>
<polygon fill="#e0ffe0" stroke="none" points="41,-170.5 41,-191.5 68,-191.5 68,-170.5 41,-170.5"/>
<polygon fill="none" stroke="black" points="41,-170.5 41,-191.5 68,-191.5 68,-170.5 41,-170.5"/>
<text text-anchor="start" x="44" y="-175.2" font-family="Times New Roman,serif" font-size="14.00">pos</text>
<polygon fill="#e0ffe0" stroke="none" points="68,-170.5 68,-191.5 95,-191.5 95,-170.5 68,-170.5"/>
<polygon fill="none" stroke="black" points="68,-170.5 68,-191.5 95,-191.5 95,-170.5 68,-170.5"/>
<text text-anchor="start" x="71" y="-175.2" font-family="Times New Roman,serif" font-size="14.00">size</text>
<polygon fill="#e0ffe0" stroke="none" points="95,-170.5 95,-191.5 125,-191.5 125,-170.5 95,-170.5"/>
<polygon fill="none" stroke="black" points="95,-170.5 95,-191.5 125,-191.5 125,-170.5 95,-170.5"/>
<text text-anchor="start" x="98" y="-175.2" font-family="Times New Roman,serif" font-size="14.00">type</text>
<polygon fill="#e0ffe0" stroke="none" points="125,-170.5 125,-191.5 188,-191.5 188,-170.5 125,-170.5"/>
<polygon fill="none" stroke="black" points="125,-170.5 125,-191.5 188,-191.5 188,-170.5 125,-170.5"/>
<text text-anchor="start" x="151.25" y="-175.2" font-family="Times New Roman,serif" font-size="14.00">id</text>
<polygon fill="none" stroke="black" points="41,-149.5 41,-170.5 68,-170.5 68,-149.5 41,-149.5"/>
<text text-anchor="start" x="51.12" y="-154.2" font-family="Times New Roman,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="68,-149.5 68,-170.5 95,-170.5 95,-149.5 68,-149.5"/>
<text text-anchor="start" x="78.12" y="-154.2" font-family="Times New Roman,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="95,-149.5 95,-170.5 125,-170.5 125,-149.5 95,-149.5"/>
<text text-anchor="start" x="103.25" y="-154.2" font-family="Times New Roman,serif" font-size="14.00">u1</text>
<polygon fill="none" stroke="black" points="125,-149.5 125,-170.5 188,-170.5 188,-149.5 125,-149.5"/>
<text text-anchor="start" x="127.62" y="-154.2" font-family="Times New Roman,serif" font-size="14.00">chunktype</text>
<polygon fill="none" stroke="black" points="41,-128.5 41,-149.5 68,-149.5 68,-128.5 41,-128.5"/>
<text text-anchor="start" x="51.12" y="-133.2" font-family="Times New Roman,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="68,-128.5 68,-149.5 95,-149.5 95,-128.5 68,-128.5"/>
<text text-anchor="start" x="78.12" y="-133.2" font-family="Times New Roman,serif" font-size="14.00">2</text>
<polygon fill="none" stroke="black" points="95,-128.5 95,-149.5 125,-149.5 125,-128.5 95,-128.5"/>
<text text-anchor="start" x="98.75" y="-133.2" font-family="Times New Roman,serif" font-size="14.00">u2le</text>
<polygon fill="none" stroke="black" points="125,-128.5 125,-149.5 188,-149.5 188,-128.5 125,-128.5"/>
<text text-anchor="start" x="129.12" y="-133.2" font-family="Times New Roman,serif" font-size="14.00">chunksize</text>
</g>
<!-- chunk_header_t__seq&#45;&gt;chunk_t__seq -->
<g id="edge6" class="edge">
<title>chunk_header_t__seq:chunktype_type&#45;&gt;chunk_t__seq:body_type</title>
<path fill="none" stroke="#404040" d="M189.5,-160C229.62,-160 221.7,-116.44 259.5,-103 375.7,-61.67 448.55,-17.04 537,-103 544.41,-110.2 549.28,-123.27 547.16,-131.24"/>
<polygon fill="#404040" stroke="#404040" points="545.19,-128.35 539.22,-137.1 549.34,-133.98 545.19,-128.35"/>
</g>
<!-- chunk_t__seq&#45;&gt;chunk_header_t__seq -->
<g id="edge2" class="edge">
<title>chunk_t__seq:header_type&#45;&gt;chunk_header_t__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M538,-160C553.56,-160 548.16,-184.15 537,-195 448.55,-280.96 381.96,-209.67 259.5,-195 242.42,-192.95 224.44,-189.59 207.2,-185.74"/>
<polygon fill="black" stroke="black" stroke-width="2" points="209.47,-182.67 198.94,-183.82 207.89,-189.49 209.47,-182.67"/>
</g>
<!-- chunk_t__seq_body_switch -->
<g id="node4" class="node">
<title>chunk_t__seq_body_switch</title>
<polygon fill="#f0f2e4" stroke="none" points="588.5,-149.5 588.5,-170.5 618.5,-170.5 618.5,-149.5 588.5,-149.5"/>
<polygon fill="none" stroke="black" points="588.5,-149.5 588.5,-170.5 618.5,-170.5 618.5,-149.5 588.5,-149.5"/>
<text text-anchor="start" x="591.12" y="-154.2" font-family="Times New Roman,serif" font-size="14.00">case</text>
<polygon fill="#f0f2e4" stroke="none" points="618.5,-149.5 618.5,-170.5 714.5,-170.5 714.5,-149.5 618.5,-149.5"/>
<polygon fill="none" stroke="black" points="618.5,-149.5 618.5,-170.5 714.5,-170.5 714.5,-149.5 618.5,-149.5"/>
<text text-anchor="start" x="654.5" y="-154.2" font-family="Times New Roman,serif" font-size="14.00">type</text>
<polygon fill="none" stroke="black" points="588.5,-128.5 588.5,-149.5 618.5,-149.5 618.5,-128.5 588.5,-128.5"/>
<text text-anchor="start" x="600.12" y="-133.2" font-family="Times New Roman,serif" font-size="14.00">6</text>
<polygon fill="none" stroke="black" points="618.5,-128.5 618.5,-149.5 714.5,-149.5 714.5,-128.5 618.5,-128.5"/>
<text text-anchor="start" x="633.5" y="-133.2" font-family="Times New Roman,serif" font-size="14.00">LoadChunk</text>
<polygon fill="none" stroke="black" points="588.5,-107.5 588.5,-128.5 618.5,-128.5 618.5,-107.5 588.5,-107.5"/>
<text text-anchor="start" x="599.75" y="-112.2" font-family="Times New Roman,serif" font-size="14.00">_</text>
<polygon fill="none" stroke="black" points="618.5,-107.5 618.5,-128.5 714.5,-128.5 714.5,-107.5 618.5,-107.5"/>
<text text-anchor="start" x="621.12" y="-112.2" font-family="Times New Roman,serif" font-size="14.00">UnknownChunk</text>
</g>
<!-- chunk_t__seq&#45;&gt;chunk_t__seq_body_switch -->
<g id="edge3" class="edge">
<title>chunk_t__seq:body_type&#45;&gt;chunk_t__seq_body_switch</title>
<path fill="none" stroke="black" stroke-width="2" d="M538,-138C548.11,-138 558.74,-138.04 569.25,-138.11"/>
<polygon fill="black" stroke="black" stroke-width="2" points="567.54,-141.59 577.56,-138.16 567.58,-134.59 567.54,-141.59"/>
</g>
<!-- load_chunk__seq -->
<g id="node5" class="node">
<title>load_chunk__seq</title>
<polygon fill="#e0ffe0" stroke="none" points="797.5,-91 797.5,-112 824.5,-112 824.5,-91 797.5,-91"/>
<polygon fill="none" stroke="black" points="797.5,-91 797.5,-112 824.5,-112 824.5,-91 797.5,-91"/>
<text text-anchor="start" x="800.5" y="-95.7" font-family="Times New Roman,serif" font-size="14.00">pos</text>
<polygon fill="#e0ffe0" stroke="none" points="824.5,-91 824.5,-112 851.5,-112 851.5,-91 824.5,-91"/>
<polygon fill="none" stroke="black" points="824.5,-91 824.5,-112 851.5,-112 851.5,-91 824.5,-91"/>
<text text-anchor="start" x="827.5" y="-95.7" font-family="Times New Roman,serif" font-size="14.00">size</text>
<polygon fill="#e0ffe0" stroke="none" points="851.5,-91 851.5,-112 881.5,-112 881.5,-91 851.5,-91"/>
<polygon fill="none" stroke="black" points="851.5,-91 851.5,-112 881.5,-112 881.5,-91 851.5,-91"/>
<text text-anchor="start" x="854.5" y="-95.7" font-family="Times New Roman,serif" font-size="14.00">type</text>
<polygon fill="#e0ffe0" stroke="none" points="881.5,-91 881.5,-112 954.5,-112 954.5,-91 881.5,-91"/>
<polygon fill="none" stroke="black" points="881.5,-91 881.5,-112 954.5,-112 954.5,-91 881.5,-91"/>
<text text-anchor="start" x="912.75" y="-95.7" font-family="Times New Roman,serif" font-size="14.00">id</text>
<polygon fill="none" stroke="black" points="797.5,-70 797.5,-91 824.5,-91 824.5,-70 797.5,-70"/>
<text text-anchor="start" x="807.62" y="-74.7" font-family="Times New Roman,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="824.5,-70 824.5,-91 851.5,-91 851.5,-70 824.5,-70"/>
<text text-anchor="start" x="834.62" y="-74.7" font-family="Times New Roman,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="851.5,-70 851.5,-91 881.5,-91 881.5,-70 851.5,-70"/>
<text text-anchor="start" x="859.75" y="-74.7" font-family="Times New Roman,serif" font-size="14.00">u1</text>
<polygon fill="none" stroke="black" points="881.5,-70 881.5,-91 954.5,-91 954.5,-70 881.5,-70"/>
<text text-anchor="start" x="892.5" y="-74.7" font-family="Times New Roman,serif" font-size="14.00">unknown</text>
<polygon fill="none" stroke="black" points="797.5,-49 797.5,-70 824.5,-70 824.5,-49 797.5,-49"/>
<text text-anchor="start" x="807.62" y="-53.7" font-family="Times New Roman,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="824.5,-49 824.5,-70 851.5,-70 851.5,-49 824.5,-49"/>
<text text-anchor="start" x="834.62" y="-53.7" font-family="Times New Roman,serif" font-size="14.00">2</text>
<polygon fill="none" stroke="black" points="851.5,-49 851.5,-70 881.5,-70 881.5,-49 851.5,-49"/>
<text text-anchor="start" x="855.25" y="-53.7" font-family="Times New Roman,serif" font-size="14.00">u2le</text>
<polygon fill="none" stroke="black" points="881.5,-49 881.5,-70 954.5,-70 954.5,-49 881.5,-49"/>
<text text-anchor="start" x="884.25" y="-53.7" font-family="Times New Roman,serif" font-size="14.00">loadaddress</text>
<polygon fill="none" stroke="black" points="797.5,-28 797.5,-49 824.5,-49 824.5,-28 797.5,-28"/>
<text text-anchor="start" x="807.62" y="-32.7" font-family="Times New Roman,serif" font-size="14.00">3</text>
<polygon fill="none" stroke="black" points="824.5,-28 824.5,-49 851.5,-49 851.5,-28 824.5,-28"/>
<text text-anchor="start" x="829.38" y="-32.33" font-family="Times New Roman,serif" font-size="14.00">⇲</text>
<polygon fill="none" stroke="black" points="851.5,-28 851.5,-49 881.5,-49 881.5,-28 851.5,-28"/>
<polygon fill="none" stroke="black" points="881.5,-28 881.5,-49 954.5,-49 954.5,-28 881.5,-28"/>
<text text-anchor="start" x="906.38" y="-32.7" font-family="Times New Roman,serif" font-size="14.00">data</text>
</g>
<!-- chunk_t__seq_body_switch&#45;&gt;load_chunk__seq -->
<g id="edge4" class="edge">
<title>chunk_t__seq_body_switch:case0&#45;&gt;load_chunk__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M715.5,-139C741.65,-139 768.38,-131.09 792.29,-120.63"/>
<polygon fill="black" stroke="black" stroke-width="2" points="792.34,-124.46 799.96,-117.1 789.42,-118.1 792.34,-124.46"/>
</g>
<!-- unknown_chunk__seq -->
<g id="node6" class="node">
<title>unknown_chunk__seq</title>
<polygon fill="#e0ffe0" stroke="none" points="819.5,-189 819.5,-210 846.5,-210 846.5,-189 819.5,-189"/>
<polygon fill="none" stroke="black" points="819.5,-189 819.5,-210 846.5,-210 846.5,-189 819.5,-189"/>
<text text-anchor="start" x="822.5" y="-193.7" font-family="Times New Roman,serif" font-size="14.00">pos</text>
<polygon fill="#e0ffe0" stroke="none" points="846.5,-189 846.5,-210 873.5,-210 873.5,-189 846.5,-189"/>
<polygon fill="none" stroke="black" points="846.5,-189 846.5,-210 873.5,-210 873.5,-189 846.5,-189"/>
<text text-anchor="start" x="849.5" y="-193.7" font-family="Times New Roman,serif" font-size="14.00">size</text>
<polygon fill="#e0ffe0" stroke="none" points="873.5,-189 873.5,-210 903.5,-210 903.5,-189 873.5,-189"/>
<polygon fill="none" stroke="black" points="873.5,-189 873.5,-210 903.5,-210 903.5,-189 873.5,-189"/>
<text text-anchor="start" x="876.5" y="-193.7" font-family="Times New Roman,serif" font-size="14.00">type</text>
<polygon fill="#e0ffe0" stroke="none" points="903.5,-189 903.5,-210 932.5,-210 932.5,-189 903.5,-189"/>
<polygon fill="none" stroke="black" points="903.5,-189 903.5,-210 932.5,-210 932.5,-189 903.5,-189"/>
<text text-anchor="start" x="912.75" y="-193.7" font-family="Times New Roman,serif" font-size="14.00">id</text>
<polygon fill="none" stroke="black" points="819.5,-168 819.5,-189 846.5,-189 846.5,-168 819.5,-168"/>
<text text-anchor="start" x="829.62" y="-172.7" font-family="Times New Roman,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="846.5,-168 846.5,-189 873.5,-189 873.5,-168 846.5,-168"/>
<text text-anchor="start" x="851.38" y="-172.32" font-family="Times New Roman,serif" font-size="14.00">⇲</text>
<polygon fill="none" stroke="black" points="873.5,-168 873.5,-189 903.5,-189 903.5,-168 873.5,-168"/>
<polygon fill="none" stroke="black" points="903.5,-168 903.5,-189 932.5,-189 932.5,-168 903.5,-168"/>
<text text-anchor="start" x="906.38" y="-172.7" font-family="Times New Roman,serif" font-size="14.00">data</text>
</g>
<!-- chunk_t__seq_body_switch&#45;&gt;unknown_chunk__seq -->
<g id="edge5" class="edge">
<title>chunk_t__seq_body_switch:case1&#45;&gt;unknown_chunk__seq</title>
<path fill="none" stroke="black" stroke-width="2" d="M715.5,-118C742.74,-118 742.07,-139.95 766.5,-152 777.36,-157.36 789.19,-162.26 800.92,-166.62"/>
<polygon fill="black" stroke="black" stroke-width="2" points="798.18,-169.36 808.78,-169.45 800.55,-162.77 798.18,-169.36"/>
</g>
</g>
</svg>