After the switch is finished, the rest of the
program is executed.  At this point either the
code for one of the cases or the code 
for the default has already been executed.