fails:Readline.readline returns the input string
fails:Readline.readline taints the returned strings
