[armedbear-devel] Maxima profiling results