type t = unit C.ptr
val t : t C.typval create : (unit -> t G.return) G.resultval destroy : (t -> unit G.return) G.resultval set_verify_checksums : (t -> bool -> unit G.return) G.resultval set_fill_cache : (t -> bool -> unit G.return) G.resultval set_tailing : (t -> bool -> unit G.return) G.result