On the implementation of state programs