Constant OQS_KEM_hqc_3_length_public_key 

pub const OQS_KEM_hqc_3_length_public_key: u32 = 4514;