== Pthread to CIVL Transformation ==

- pthread_exit(void*)
   * _pthread_exit(void*, boolean isMain)