> [Duff] realized that he could use `case` statements (almost) anywhere in a `switch` block. That’s likely true, in that it probably was a moment for realizati

> [Duff] realized that he could use `case` statements (almost) anywhere in a `switch` block. That’s likely true, in that it probably was a moment for realization for Duff (and many others reading him, including me); yet it’s almost certainly a completely intentional feature. (As mentioned at the bottom of TFA, Duff also realized you could build coroutines on top of it but thought the idea “revolting”.) There’s a temptation to think of C’s `switch` as a very inexpressive pattern match, and then the “fallthrough” seems like a bug and so on. It’s not. It’s a computed GOTO, in the vein of the one in Fortran but more convenient in that the values don’t have to be sequential, and also in that you don’t have to list all the labels at the top. (In fact, now that I’m writing this out, it’s more of a computed COMEFROM, then, isn’t it? However insane that sounds.)