<?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 2.38.0 (20140413.2041)
 -->
<!-- Title: %3 Pages: 1 -->
<svg width="250pt"
 viewBox="0.00 0.00 363.00 342.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 78)">
<title>%3</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-78 83,-78 83,4 -4,4"/>
<!-- table0 -->
<g id="node1" class="node"><title>table0</title>
<polyline fill="none" stroke="black" points="8.5,-50 71.5,-50 "/>
<text text-anchor="start" x="25.6069" y="-55.8" font-family="Times,serif" font-size="14.00">Cons</text>
<polygon fill="none" stroke="black" points="8.5,-4 8.5,-50 31.5,-50 31.5,-4 8.5,-4"/>
<text text-anchor="start" x="11.0552" y="-22.8" font-family="Times,serif" font-size="14.00">i32</text>
<polygon fill="none" stroke="black" points="31.5,-4 31.5,-50 71.5,-50 71.5,-4 31.5,-4"/>
<polyline fill="none" stroke="black" points="34.5,-27 68.5,-27 "/>
<text text-anchor="start" x="39.8311" y="-32.8" font-family="Times,serif" font-size="14.00">Box</text>
<polygon fill="none" stroke="black" points="34.5,-7 34.5,-27 68.5,-27 68.5,-7 34.5,-7"/>
<text text-anchor="start" x="37.1172" y="-12.8" font-family="Times,serif" font-size="14.00">usize</text>
</g>
</g>
</svg>