Something
public text v1 · immutablewhile(1)
switch(x) {
...
case n:
x = <label-num>;
break;
...
}
can be replaced by:
...
label n:
goto <label>;
...
while(1)
switch(x) {
...
case n:
x = <label-num>;
break;
...
}
can be replaced by:
...
label n:
goto <label>;
...