Type Definition clingo_sys::__daddr_t

type __daddr_t = c_int;