pub const BUDGET: u64 = 50_000_000;
How many questions of whether two values are both wanted a function may ask before it is handed to the linear scan.