pub const OQS_ENABLE_SIG_dilithium_3_avx2: u32 = 1;