Constant OQS_ENABLE_SIG_mayo_5 

pub const OQS_ENABLE_SIG_mayo_5: u32 = 1;