Constant OQS_KEM_hqc_256_length_public_key 

pub const OQS_KEM_hqc_256_length_public_key: u32 = 7245;