public sealed class Superclass {
  void foo() {}
}