All taints propagated through ARG array for internal calls