{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"active_line_region"}]}
                active_line_region = true;
            } else if let Some(idx) = trimmed.find("// :") {
                active_regions.push(&trimmed[idx + "// :".len()..]);