- switch uint %n, label %bb12 [
- uint 1, label %bb
- uint 2, label %bb6
- uint 4, label %bb7
- uint 5, label %bb8
- uint 6, label %bb10
- uint 7, label %bb1
- uint 8, label %bb3
- uint 9, label %bb4
- uint 10, label %bb9
- uint 11, label %bb2
- uint 12, label %bb5
- uint 13, label %bb11