let string_of_stdin () : string = In_channel.input_all stdin