pub const OQS_KEM_hqc_256_length_secret_key: u32 = 7285;