We consider a one-dimensional simple symmetric exclusion process in equilibrium as a dynamic random environment for a nearest-neighbor random walk that on occupied/vacant sites has two different local drifts to the right. We obtain a LLN, a functional CLT and large deviation bounds for the random walk under the annealed measure by means of a renewal… (More)