Constant OQS_KEM_frodokem_976_shake_length_public_key 

pub const OQS_KEM_frodokem_976_shake_length_public_key: u32 = 15632;