This tag has been moved to stern_the_destructor.
This tag has been aliased to stern_the_destructor (learn more).
