Re: [SLE] gnat bug detected