static void web_addLabel(WebNode node, S label) {
  node.addLabel(label);
}