int main(int argc, const char *argv[]) { return ctest_main(argc, argv); }
int main(int argc, const char** argv) { int test_res = ctest_main(argc, argv); return test_res; }
int main(int argc, const char *argv[]) { int result = ctest_main(argc, argv); return result; }