digraph {
    rankdir=LR;
    dpi=300.0;
    node [shape="plaintext"];

    table0[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
        <TR><TD COLSPAN="2" SIDES="B">Cons</TD></TR>
        <TR><TD>i32</TD><TD><TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
        <TR><TD COLSPAN="2" SIDES="B">Cons</TD></TR>
        <TR><TD>i32</TD><TD><TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
        <TR><TD COLSPAN="2" SIDES="B">Cons</TD></TR>
        <TR><TD>i32</TD><TD><TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
        <TR><TD COLSPAN="2" SIDES="B">Cons</TD></TR>
        <TR><TD>i32</TD><TD><TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
        <TR><TD COLSPAN="2" SIDES="B">Cons</TD></TR>
        <TR><TD>i32</TD><TD>∞</TD></TR>
    </TABLE></TD></TR>
    </TABLE></TD></TR>
    </TABLE></TD></TR>
    </TABLE></TD></TR>
    </TABLE>>];
}

