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