Constant OQS_KEM_hqc_1_length_public_key 

pub const OQS_KEM_hqc_1_length_public_key: u32 = 2241;