randcase
  3 : x = 1;
  1 : x = 2;
  4 : x = 3;
endcase