pub const CHACHA_COUNTER_SIZE: u32 = 8;