Re: IP issues in writing a ghci adaption?