@import template_nontrivial0;

struct S1 {
  S1();
  Class0<S0> a;
};