Constant H512_256 

pub const H512_256: [u64; 8];