Constant antic::FLINT_DEFAULT_THREAD_LIMIT

pub const FLINT_DEFAULT_THREAD_LIMIT: u32 = 99999;