pub const OQS_KEM_alg_kyber_512: &[u8; 9] = b"Kyber512\0";