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