Taint fields of type Taint, Auxiliary register caching