code: def switch(self, value, default):
          
          swt = instructions.SwitchInstr(self.block, 'switch', value, default)
          self._set_terminator(swt)
          return swt
docs: Create a switch-case with a single *default* target.