rt: Implement destructors/finalizers