int main () {
	try {
		throw 42;
	} catch (int i) { }
}