pub const KeccakP400_stateSizeInBytes: u32 = 50;