Re: [armedbear-devel] threads:interrupt-thread