Constant MAX_JSON_TOKEN_BUDGET 

pub const MAX_JSON_TOKEN_BUDGET: usize = 128;