public sealed override Destructor AddDestructor() { throw new InvalidOperationException("Interfaces do not support destructors."); }
