pub const OQS_KEM_hqc_192_length_secret_key: u32 = 4562;