fails:StringScanner#rest taints the returned String if the input was tainted
