src/plugins/mupad/packages/session
