Re: [sr-dev] Core dump not generated