svg2 ={
const svg2 = svg`<svg viewBox="0 0 12 12" width=128 height=128><circle stroke=black stroke-width=1.5 fill=none cx=6 cy=6 r=3.5></circle></svg>` ;
let frame;
(function tick() {
const t = Math.sin(Date.now() / 1000);
d3.select(svg2).select("circle").attr("stroke-width",1.5 + t).attr("r",3.5 + t);
frame = requestAnimationFrame(tick);
})();
invalidation.then(() => cancelAnimationFrame(frame));
return svg2;
}