pub const KeccakP800_stateAlignment: u32 = 4;