{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"spec"}]}
            spec = &spec[..idx];
            let depth: usize = spec[idx + 1..].parse().expect("invalid profile depth");
            depth