jsnorm desugaring of switch