#include <trace_config.h>
Custom deleter for our StringPtr class. Exists to create an explicitly non-inline destructor.