int test_main(int,char*[]) { return run_generative_tests(); }
int main() { return run_generative_tests(); }