int
main(void)
{
	int switch1 = 1;
	int switch3 = 0;
	switch (5) {
		for (int i = 0; i < 10; i = i + 1) {
			switch1 = 0;
		case 5: switch3 = 1; break;
		case 5: switch3 = 0; break;
		default: return 0;
		}
		break;
	}

	return switch1 & switch3;
}