Type Definition btor2tools_sys::__off64_t

type __off64_t = c_long;