GCW0: Merge stated.cpp and state.cpp