main module defaults declare Tag is [a,b,c] My_tag : Tag I : integer enddeclare select My_tag from // case a: // I := 0 default: I := 1 default: I := 2 // case B: // I := 3 endselect endmodule