Re: [armedbear-devel] Proposed patch to move remaining symbols to THREADS