pub type c__daddr_t = i32;