+
+type bit_vector
+val bit_vector_create : int -> bit_vector
+val bit_vector_unsafe_set : bit_vector -> int -> bool -> unit
+val bit_vector_unsafe_get : bit_vector -> int -> bool
+
+val reinit : unit -> unit
+
+type tree_pointer
+val get_tree_pointer : t -> tree_pointer