pub const OQS_KEM_hqc_128_length_ciphertext: u32 = 4481;