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