[sr-dev] git:master:4c2ef7f3: core: new command line options for memory managers selections