class S {
  static_assert(4 == 4);
};