[armedbear-devel] Maxima status: performance measurement