Re: [armedbear-devel] Design issue regarding condition printing (was: Error reporting problems)