Re: [armedbear-devel] Problem with error reporting