Re: Strange behavior in debugging of bug #5245, looking for comments