// expect: first/
// spec 4.7.2: duplicate labels are not an error, the first matching case in source order runs
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
void ps(char* s) { rt.put_s(s); rt.put_c(10); }
fn main() {
	int k = 4;
	switch (k) { case 4: ps("first"); case 4: ps("second"); }
	return 0;
}
// zc0: skip