static Web web_unstructure(S s) {
  ret (Web) unstructure(s);
}