Function with_budget 

fn with_budget<R>(budget: Budget, f: impl FnOnce() -> R) -> R