Running REED Programs