pub type ChaChaState = [u32; 16];
Type for a ChaCha state represented as an array of 16 32-bit unsigned integers.