pub const OQS_ENABLE_KEM_frodokem_640_aes: u32 = 1;