Compiler: better choice of the default case in switches