Use execState instead of runState