First implementation.  Tainting is O(n). :(