Type Alias SwitchCase 

pub type SwitchCase = (u64, Label, BlockArgs);

One switch arm: (case value, target block, arguments on that edge).