src/plugins/maxima/packages/session
