Constant OQS_SIG_mayo_3_length_public_key 

pub const OQS_SIG_mayo_3_length_public_key: u32 = 2986;