Constant OQS_SIG_alg_mayo_3 

pub const OQS_SIG_alg_mayo_3: &[u8; 7] = b"MAYO-3\0";