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