In.readAllString ==> StdIn.readAllString.