1 2 3 4
1 => a | b ^ variable capture in alternative pattern ^ variable capture in alternative pattern