Re: [armedbear-devel] Maxima status: performance measurement