Re: [armedbear-devel] stack overflow for worst-case vector sort