TaintInternal doesn't fail for unitialized fields