[Hugs] #80: A curious stack overflow problem