Re: [Serusers] SER crash with serctl