static Web web_intern(Web web) {
  if (web == null) null;
  for (WebNode n : web_nodesAndRelations(web))
    web_setLabels_forced(n, map_lisp_intern(n.labels()));
  web.globalID = intern(web.globalID);
  web.source = intern(web.source);
  web.title = intern(web.title);
  trimToSize(web.nodes);
  for (WebNode n : web.nodes)
    trimToSize(n.labels);
  ret web;
}