pub const SliceBudget_StepsPerExpensiveCheck: i64 = 1000; // 1_000i64