+ let _ = Printf.eprintf "Number of nodes %i\n%!" (Tree.size v) in
+(* let _ = Tree.stats v in
+ let _ = Printf.eprintf "Timing first_child/next_sibling %!" in
+ let _ = time (Tree.benchmark_fcns) v in
+ let _ = Printf.eprintf "Timing last_child/prev_sibling %!" in
+ let _ = time (Tree.benchmark_lcps) v in
+ let _ = Printf.eprintf "Timing jump to a %!" in
+ let _ = time (Tree.benchmark_jump v) (Tag.tag "a") in
+ let _ = Printf.eprintf "Timing pointer allocation %!" in
+ let pointers = time (build_pointers) v in
+ let _ = Printf.eprintf "Timing pointer iteration %!" in
+ let i = time (iter_pointers) pointers in
+ let _ = Printf.eprintf "Traversed %i pointers\n\nTiming pointer deallocation %!" i in
+ let _ = time (free_pointers) pointers in *)