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