static <A> A safeUnstruct(S s) {
  ret (A) unstructure(s, true);
}