Function main

test/core/test_exceptions_allowed_2.cpp:28–37

int main() {
#else
int main(int argc, char* argv[]) {
#endif
    try {
        nocatch();
    }
    catch (...) {
        printf("SUCCESS\n");
    }
    return 0;
}