static Web webNodeToWeb(WebNode n) {
  ret n == null ? null : n.web;
}