// expect: 2/
// spec 4.7.2: equal labels in two different switches are fine
include rt;
fn main() { int k = 1; switch (k) { case 1: k = 2; } switch (k) { case 1: k = 9; case 2: rt.put_n(k); } rt.put_c(10); return 0; }
// zc0: skip