michael@0: switch (0) {
michael@0:   case 2:
michael@0:     k;
michael@0:   case (-1):
michael@0:   case 2:
michael@0: }
michael@0: /* Don't assert. */