Update istate.hpp