Constant H512_512 

pub const H512_512: [u64; 8];