Constant OQS_KEM_alg_efrodokem_640_shake 

pub const OQS_KEM_alg_efrodokem_640_shake: &[u8; 20] = b"eFrodoKEM-640-SHAKE\0";