static void web_copyLabels(WebNode src, WebNode dest) {
  if (src == dest) ret;
  web_setLabels(dest, src.labels);
}