Constant OQS_KEM_alg_efrodokem_1344_aes 

pub const OQS_KEM_alg_efrodokem_1344_aes: &[u8; 19] = b"eFrodoKEM-1344-AES\0";