Lite version of state.cs