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