> with leading 'default' label work correctly? Yes, the order of case labels doesn't matter. (In fact, it used to be the case that compilers -- back in the stone age, when they generated code on stone tablets -- used to be a little more efficient when you did that.)