pub type State = [[u8; 4]; 4];