pub type Device = u64;