Constant OQS_ENABLE_KEM_efrodokem_976_shake 

pub const OQS_ENABLE_KEM_efrodokem_976_shake: u32 = 1;