otherwise calling delete on a base class pointer to an instantiation of a
derived class doesn't call the derived class's dtor