// expect: 5/6/
// spec 4.7.2: the statements of a case form their own block
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
void t(int k) {
	switch (k) {
	case 1: int x = 5; pn(x);
	case 2: int x = 6; pn(x);
	}
}
fn main() { t(1); t(2); return 0; }
// zc0: skip