iostream and string in L4Re