switch ([1,2]) {
  @match [y]: 
  @match [x,y]: printf("%d\n",y); break;
}