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