!EX(state[1:0] = 1);
EX(state[1:0] = 3);