static T3S t3s(S a, S b, S c) {
  ret new T3<S>(a, b, c);
}