Constant Spec_Frodo_Params_SHAKE128 

pub const Spec_Frodo_Params_SHAKE128: u32 = 0;