pub const OQS_KEM_hqc_256_length_ciphertext: u32 = 14469;