Re: iostream and string in L4Re