Don't use default label in fully covered switch