6 static int (*pipe_init_p)(int filep[2]) = NULL;
8 int pipe(int fildes[2]) {
10 snapshot_system_init(10000, 1024, 1024, 40000);
11 model = new ModelChecker();
12 model->startChecker();
15 pipe_init_p = (int (*)(int file[2])) dlsym(RTLD_NEXT, "pipe");
16 if ((error = dlerror()) != NULL) {