The default case, if present, must be used only if *all* non-default cases fail [ISO/IEC 9899:1999, §6.8.4.2, ¶5]. As a result, we sort the order in which we handle the labels (but not the order in which we print out the statements, so fall-through still works as expected).
The default case, if present, must be used only if *all* non-default
cases fail [ISO/IEC 9899:1999, §6.8.4.2, ¶5]. As a result, we sort the
order in which we handle the labels (but not the order in which we print
out the statements, so fall-through still works as expected).

Thanks to Ben Liblit for pointing this out.

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c