static int web_numberOfLabels(WebNode n) {
  ret n == null ? 0 : l(n.labels);
}