Constant SliceBudget_StepsPerExpensiveCheck 

pub const SliceBudget_StepsPerExpensiveCheck: i64 = 1000;