Constant OQS_SIG_mayo_3_length_secret_key 

pub const OQS_SIG_mayo_3_length_secret_key: u32 = 32;