Re: last result in ghci