Constant OQS_ENABLE_KEM_frodokem_640_shake 

pub const OQS_ENABLE_KEM_frodokem_640_shake: u32 = 1;