[armedbear-devel] Catching exceptions from toString() methods