Re: [armedbear-devel] how to debug?