pub type Generation = u64;