Type Definition btor2tools_sys::__off_t

type __off_t = c_long;