@Inheritable C = Class { .x = Int } C. const = 0 C. new x: Int = C { .x = x } D = Inherit C D. @Override new x: Int = D { .x = x } d: D = D.new(1) print! d assert D.const == 0 @Inheritable Base = Class { .value = Int } E = Inherit Base, Additional := { .value = Nat } e = E.new { .value = 10 } discard e.value.times!