Mon, 18 Apr 2022 16:29:14 +0200
simplify destructor signature (but loads more responsibility onto the user)