function foo() {
	while (true) {
		try {
			return 42;
		} finally {
			break;
		}
	}
	return 8;
}
print(foo());