// pattern: case has multiple defaults
module top;
    case (0)
        0: wire w;
        1: wire x;
        default: wire y;
        default: wire z;
    endcase
endmodule