Re: resetting in ghci