As a C++ dev, that operator delete looks like something I would see in prod.