1 2 3 4 5 6 7 8
program() begin case 3 of 1: | 3: | 1 + 2: (* @Error Duplicate case label *) end end.