Constant OQS_ENABLE_SIG_MAYO 

pub const OQS_ENABLE_SIG_MAYO: u32 = 1;