Re: [Armedbear-devel] export doesn't work