Added a new print debugging statement, right before the call to pthread_create