Type Alias State512 

pub type State512 = [u64; 8];