extern "C" void catch();
int main() {
	catch();
}