pub const OQS_KEM_alg_frodokem_640_aes: &[u8; 17] = b"FrodoKEM-640-AES\0";