TextIO to read input from user