some destructors with tracepoints