Constant OQS_KEM_alg_efrodokem_640_aes 

pub const OQS_KEM_alg_efrodokem_640_aes: &[u8; 18] = b"eFrodoKEM-640-AES\0";