let
  class A {}
  class B extends A {}
  class C extends B {}
  class D extends A {}
in
end