Update seState.hpp