Constant OQS_ENABLE_SIG_mayo_3

pub const OQS_ENABLE_SIG_mayo_3: u32 = 1;