--- /dev/null
+// Created by SizedVirtualHeap.write_as_dot(...)
+digraph heaptree {
+node [shape=record]
+ 0 [penwidth=1,label="{{0}}"];
+ 1 [penwidth=1,label="{{1}}"];
+ 3 [penwidth=1,label="{{3}}"];
+ 7 [penwidth=1,label="{{7}}"];
+ 3 -> 7 ;
+ 8 [penwidth=1,label="{{8}}"];
+ 3 -> 8 ;
+ 1 -> 3 ;
+ 4 [penwidth=1,label="{{4}}"];
+ 9 [penwidth=1,label="{{9}}"];
+ 4 -> 9 ;
+ 10 [penwidth=1,label="{{10}}"];
+ 4 -> 10 ;
+ 1 -> 4 ;
+ 0 -> 1 ;
+ 2 [penwidth=1,label="{{2}}"];
+ 5 [penwidth=1,label="{{5}}"];
+ 11 [penwidth=1,label="{{11}}"];
+ 5 -> 11 ;
+ 12 [penwidth=1,label="{{12}}"];
+ 5 -> 12 ;
+ 2 -> 5 ;
+ 6 [penwidth=1,label="{{6}}"];
+ 13 [penwidth=1,label="{{13}}"];
+ 6 -> 13 ;
+ 14 [penwidth=1,label="{{14}}"];
+ 6 -> 14 ;
+ 2 -> 6 ;
+ 0 -> 2 ;
+}