src/plugins/giac/packages/session
