Constant OQS_ENABLE_KEM_frodokem_640_aes 

pub const OQS_ENABLE_KEM_frodokem_640_aes: u32 = 1;