pub const SHA512: Hash<u64>;