{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"render_region(tcx,"}]}
        render_region(tcx, region, regioncx, out)?;
        write!(out, "{}[\"", region.as_usize())?;
        writeln!(out, "\"]")?;