Re: [armedbear-devel] destroy-thread and unwind-protect