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