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