sS inverseRestructure(S s) {
  ret struct(unstruct(s));
}