Re: how to convert IO String to string