Constant OQS_SIG_mayo_5_length_signature 

pub const OQS_SIG_mayo_5_length_signature: u32 = 964;