Constant OQS_KEM_hqc_1_length_ciphertext 

pub const OQS_KEM_hqc_1_length_ciphertext: u32 = 4433;