while(1)
  switch(x) {
  ...
  case n:
    x = <label-num>;
    break;
  ...
  }

can be replaced by:
...
label n:
goto <label>;
...