pub type Output = u64;