pub type dev_t = u64;