pub type Value = u64;