Type Alias State512 

pub(crate) type State512 = [u64; 8];