let tree_node_table = Hashtbl.create 1009