Mine

    switch(a) {
      case 0:
        a = 0;
        /* fall through */
      case 1:
        b = 0;
        break;
      /* ... */
    }
 
 
    switch (a) {
      case 0:
        goto _lbl1:
      case 1:
        glot _lbl2:
    }
    {
    _lbl1:
      a = 0;
      goto _fallthroughlbl;
    _lbl2:
    _fallthroughlbl:
      b = 0;
      goto _endofswitch;
    /* ... */
    _endofswitch:
    }