Update imp_state.v