Re: Trace and laziness