Re: [Hugs] #80: A curious stack overflow problem