Build up IState.v, add an RState.v