Constant LLVM_WITH_Z3 

pub const LLVM_WITH_Z3: u32 = 1;