Constant Spec_Hash_Definitions_Shake128

pub const Spec_Hash_Definitions_Shake128: u32 = 12;