pub const OQS_KEM_alg_frodokem_640_shake: &[u8; 19] = b"FrodoKEM-640-SHAKE\0";