int main(int argc, char *argv[]) { return regression_main(argc, argv, ecpg_init, ecpg_start_test); }
int main(int argc, char *argv[]) { return regression_main(argc, argv, isolation_init, isolation_start_test); }