src/plugins/maxima
