[Serusers] Re: [Serdev] Help needed with core.dumps from SER