pub const KeccakP1600_stateSizeInBytes: u32 = 200;