Constant Spec_Frodo_Params_AES128 

pub const Spec_Frodo_Params_AES128: u32 = 1;