/*-1*/ foo /*0*/ : /*1*/ switch /*2*/ ( /*3*/ false /*4*/ ) /*5*/ {
    /*6*/ case /*7*/ false /*8*/ : /*9*/
    break /*10*/ foo /*11*/ ;
    /*12*/ default /*13*/ : /*14*/
    case /*15*/ false /*16*/ : /*17*/ { /*18*/ } /*19*/
  }