From my limited understanding of low-level semantics, I think that exit() doesn't allow execution to proceed to the next statement. Right? Given that, I am curious if we could treat exit() as a valid last statement in switch cases, along with break, continue, and so on. What do you think?