// expect: d/
// spec 4.7.1: default runs when no label matches, wherever it is written
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 = 7;
	switch (k) { default: ps("d"); case 1: ps("one"); case 2: ps("two"); }
	return 0;
}
// zc0: skip