ALtStack partially updated for StatePFList