Return(Wide) passes taint only for internal calls