[armedbear-devel] how to debug?