// section 6.8.4.2

void f(){
	int e;

	switch (e) {
		int i = 4;
		f(i);
	case 0:
		i = 17;
	default:
		;
	}
}