void %test(int %X) {
  switch int %X, label %dest []
dest:
  ret void
}