srivatsan-ramesh

#include <dlfcn.h>
#include <stdio.h>
#include <pthread.h>
#include <time.h>
#include <stdlib.h>

int (*original_pthread_create)(pthread_t *thread, const pthread_attr_t *attr, void *(*start_routine) (void *), void *arg) = NULL;

void load_original_pthread_create() {