static Web web_flexUnstructure(S struct) {
  if (eq(firstJavaToken(struct), "SoftwareMadeWeb")) {
    struct = getString(safeUnstructure(struct), 'structure);
    ret (Web) unstructure(struct);
  } else
    ret calToWeb(cal_unstructure(struct));
}