const MAX_QUANTIFIER_BOUND: u32 = 1000;
Decode-side re-statement of the binder’s MAX_QUANTIFIER_BOUND: a range bound is a state multiplier for the compiled NFA (a{4_000_000_000} would try to build billions of states).
MAX_QUANTIFIER_BOUND
a{4_000_000_000}