{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"var(\"CHALK_OVERFLOW_DEPTH\").ok().and_then(|s|"}]}
        var("CHALK_OVERFLOW_DEPTH").ok().and_then(|s| s.parse().ok()).unwrap_or(500);
    let overflow_depth =
    let max_size = var("CHALK_SOLVER_MAX_SIZE").ok().and_then(|s| s.parse().ok()).unwrap_or(150);