stern_starks This tag has been moved to stern_the_destructor. Revision 2 by Anonymous at 2025-04-19 08:57:58.135109