An example of how C++ destructors are useful in Envoy