static Web web_cloneWeb(Web web) {
  new Web w;
  w.parseLabels = web.parseLabels;
  web_addWebToWeb(web, w);
  ret w;
}