void switch2(long x, long* dest) {
long val = 0;
switch (x) {
case -1:
L9
break;
case 1:
L6
break;
case 2:
case 4:
L7
break;
case 5:
L8
break;
case 0:
case 7:
L5
break;
default:
L2
}
*dest = val;
}