pub static mut constraint_exclusion: c_int