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

    table4[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
        <TR><TD SIDES="B">b</TD><TD SIDES="B" PORT="ptr4"></TD></TR>
    </TABLE>>];

    table5[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
        <TR><TD PORT="pte4">3</TD><TD PORT="ptr5">  </TD></TR>
    </TABLE>>];


    table0[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
        <TR><TD SIDES="B">a</TD><TD SIDES="B" PORT="ptr0"></TD></TR>
    </TABLE>>];

    table1[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
        <TR><TD PORT="pte0">5</TD><TD PORT="ptr1">  </TD></TR>
    </TABLE>>];

    table2[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
        <TR><TD PORT="pte1">10</TD><TD PORT="ptr2">  </TD></TR>
    </TABLE>>];

    table3[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
        <TR><TD PORT="pte2">Nil</TD></TR>
    </TABLE>>];


    table6[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
        <TR><TD SIDES="B">c</TD><TD SIDES="B" PORT="ptr6"></TD></TR>
    </TABLE>>];

    table7[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
        <TR><TD PORT="pte6">4</TD><TD PORT="ptr7">  </TD></TR>
    </TABLE>>];


    edge[tailclip="false"];
    table0:ptr0:c -> table1:pte0;
    table1:ptr1:c -> table2:pte1;
    table2:ptr2:c -> table3:pte2;
    table4:ptr4:c -> table5:pte4;
    table5:ptr5:c -> table1:pte0;
    table6:ptr6:c -> table7:pte6;
    table7:ptr7:c -> table1:pte0;
}